Anne is blue. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Harry is blue. Harry is quiet. Harry is red. Harry is smart. Furry, blue people are quiet. If someone is kind then they are quiet. All furry people are kind. Furry people are red. If someone is blue then they are red. If someone is kind and red then they are smart. If someone is red then they are smart. All smart, red people are cold.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Furry, blue people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If someone is kind then they are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
All furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red then they are smart.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If someone is red then they are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
All smart, red people are cold.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Harry is red.
True
1
proof
[(triple15 OR ((triple13) -> rule5))]
("Harry" "is" "red" "+")
triple15
((triple13) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule3))] Anne is quiet.[(triple4 OR ((triple3) -> rule2) OR ((triple2 triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule2))] Anne is red.[(triple5 OR ((triple1) -> rule5) OR ((triple2) -> rule4))] Erin is blue.[(triple6)] Erin is cold.[(triple7 OR ((triple12 triple11) -> rule8) OR ((triple12 ((triple6) -> rule5)) -> rule8) OR ((triple12 ((triple8) -> rule4)) -> rule8) OR ((((triple11) -> rule7) triple11) -> rule8) OR ((((triple9 triple11) -> rule6) triple11) -> rule8) OR ((((triple11) -> rule7) ((triple6) -> rule5)) -> rule8) OR ((((triple11) -> rule7) ((triple8) -> rule4)) -> rule8) OR ((((triple9 triple11) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((triple9 triple11) -> rule6) ((triple8) -> rule4)) -> rule8) OR ((((((triple6) -> rule5)) -> rule7) triple11) -> rule8) OR ((((((triple8) -> rule4)) -> rule7) triple11) -> rule8) OR ((((triple9 ((triple6) -> rule5)) -> rule6) triple11) -> rule8) OR ((((triple9 ((triple8) -> rule4)) -> rule6) triple11) -> rule8) OR ((((((triple8) -> rule3) triple11) -> rule6) triple11) -> rule8) OR ((((((triple6) -> rule5)) -> rule7) ((triple6) -> rule5)) -> rule8) OR ((((((triple6) -> rule5)) -> rule7) ((triple8) -> rule4)) -> rule8) OR ((((((triple8) -> rule4)) -> rule7) ((triple6) -> rule5)) -> rule8) OR ((((((triple8) -> rule4)) -> rule7) ((triple8) -> rule4)) -> rule8) OR ((((triple9 ((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((triple9 ((triple6) -> rule5)) -> rule6) ((triple8) -> rule4)) -> rule8) OR ((((triple9 ((triple8) -> rule4)) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((triple9 ((triple8) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule8) OR ((((((triple8) -> rule3) triple11) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((((triple8) -> rule3) triple11) -> rule6) ((triple8) -> rule4)) -> rule8) OR ((((((triple8) -> rule3) ((triple6) -> rule5)) -> rule6) triple11) -> rule8) OR ((((((triple8) -> rule3) ((triple8) -> rule4)) -> rule6) triple11) -> rule8) OR ((((((triple8) -> rule3) ((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((((triple8) -> rule3) ((triple6) -> rule5)) -> rule6) ((triple8) -> rule4)) -> rule8) OR ((((((triple8) -> rule3) ((triple8) -> rule4)) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((((triple8) -> rule3) ((triple8) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule8))] Erin is furry.[(triple8)] Erin is kind.[(triple9 OR ((triple8) -> rule3))] Erin is quiet.[(triple10 OR ((triple9) -> rule2) OR ((triple8 triple6) -> rule1) OR ((((triple8) -> rule3)) -> rule2))] Erin is red.[(triple11 OR ((triple6) -> rule5) OR ((triple8) -> rule4))] Erin is smart.[(triple12 OR ((triple11) -> rule7) OR ((triple9 triple11) -> rule6) OR ((((triple6) -> rule5)) -> rule7) OR ((((triple8) -> rule4)) -> rule7) OR ((triple9 ((triple6) -> rule5)) -> rule6) OR ((triple9 ((triple8) -> rule4)) -> rule6) OR ((((triple8) -> rule3) triple11) -> rule6) OR ((((triple8) -> rule3) ((triple6) -> rule5)) -> rule6) OR ((((triple8) -> rule3) ((triple8) -> rule4)) -> rule6))] Harry is blue.[(triple13)] Harry is quiet.[(triple14)] Harry is red.[(triple15 OR ((triple13) -> rule5))] Harry is smart.[(triple16 OR ((triple15) -> rule7) OR ((((triple13) -> rule5)) -> rule7))] @1: Anne is smart.[(((triple5) -> rule7) OR ((triple3 triple5) -> rule6) OR ((((triple1) -> rule5)) -> rule7) OR ((((triple2) -> rule4)) -> rule7) OR ((triple3 ((triple1) -> rule5)) -> rule6) OR ((triple3 ((triple2) -> rule4)) -> rule6) OR ((((triple2) -> rule3) triple5) -> rule6) OR ((((triple2) -> rule3) ((triple1) -> rule5)) -> rule6) OR ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule6))] Harry is cold.[(((triple16 triple15) -> rule8) OR ((triple16 ((triple13) -> rule5)) -> rule8) OR ((((triple15) -> rule7) triple15) -> rule8) OR ((((triple15) -> rule7) ((triple13) -> rule5)) -> rule8) OR ((((((triple13) -> rule5)) -> rule7) triple15) -> rule8) OR ((((((triple13) -> rule5)) -> rule7) ((triple13) -> rule5)) -> rule8))] @2: Anne is cold.[(((((triple5) -> rule7) triple5) -> rule8) OR ((((triple3 triple5) -> rule6) triple5) -> rule8) OR ((((triple5) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((triple5) -> rule7) ((triple2) -> rule4)) -> rule8) OR ((((triple3 triple5) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((triple3 triple5) -> rule6) ((triple2) -> rule4)) -> rule8) OR ((((((triple1) -> rule5)) -> rule7) triple5) -> rule8) OR ((((((triple2) -> rule4)) -> rule7) triple5) -> rule8) OR ((((triple3 ((triple1) -> rule5)) -> rule6) triple5) -> rule8) OR ((((triple3 ((triple2) -> rule4)) -> rule6) triple5) -> rule8) OR ((((((triple2) -> rule3) triple5) -> rule6) triple5) -> rule8) OR ((((((triple1) -> rule5)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5)) -> rule7) ((triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule4)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule8) OR ((((triple3 ((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((triple3 ((triple1) -> rule5)) -> rule6) ((triple2) -> rule4)) -> rule8) OR ((((triple3 ((triple2) -> rule4)) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((triple3 ((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule3) triple5) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((((triple2) -> rule3) triple5) -> rule6) ((triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule3) ((triple1) -> rule5)) -> rule6) triple5) -> rule8) OR ((((((triple2) -> rule3) ((triple2) -> rule4)) -> rule6) triple5) -> rule8) OR ((((((triple2) -> rule3) ((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((((triple2) -> rule3) ((triple1) -> rule5)) -> rule6) ((triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule3) ((triple2) -> rule4)) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((((triple2) -> rule3) ((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule8))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple2) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple3) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple2 triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple1) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple2) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
((triple12 triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple12 ((triple6) -> (rule5 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((triple12 ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple11) -> (rule7 % int2)) triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple9 triple11) -> (rule6 % int2)) triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple11) -> (rule7 % int3)) ((triple6) -> (rule5 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple11) -> (rule7 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple9 triple11) -> (rule6 % int3)) ((triple6) -> (rule5 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple9 triple11) -> (rule6 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule7 % int2)) triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule7 % int2)) triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple9 ((triple6) -> (rule5 % int3))) -> (rule6 % int2)) triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple9 ((triple8) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple8) -> (rule3 % int3)) triple11) -> (rule6 % int2)) triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule7 % int2)) ((triple6) -> (rule5 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule7 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule7 % int2)) ((triple6) -> (rule5 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule7 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple9 ((triple6) -> (rule5 % int3))) -> (rule6 % int2)) ((triple6) -> (rule5 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple9 ((triple6) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple9 ((triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple6) -> (rule5 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple9 ((triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple8) -> (rule3 % int4)) triple11) -> (rule6 % int3)) ((triple6) -> (rule5 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple8) -> (rule3 % int4)) triple11) -> (rule6 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple8) -> (rule3 % int4)) ((triple6) -> (rule5 % int3))) -> (rule6 % int2)) triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple8) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple8) -> (rule3 % int4)) ((triple6) -> (rule5 % int3))) -> (rule6 % int2)) ((triple6) -> (rule5 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple8) -> (rule3 % int4)) ((triple6) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple8) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple6) -> (rule5 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple8) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
((triple8) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
((triple9) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple8 triple6) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple11
((triple6) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple8) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple12
((triple11) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple9 triple11) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple8) -> (rule4 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((triple9 ((triple6) -> (rule5 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((triple9 ((triple8) -> (rule4 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple8) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple6) -> (rule5 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple8) -> (rule3 % int3)) ((triple8) -> (rule4 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
((triple13) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple16
((triple15) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple13) -> (rule5 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((triple5) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple3 triple5) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((triple3 ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((triple3 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple2) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple2) -> (rule3 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple2) -> (rule3 % int3)) ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((triple16 triple15) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple16 ((triple13) -> (rule5 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple15) -> (rule7 % int2)) triple15) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple15) -> (rule7 % int3)) ((triple13) -> (rule5 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple13) -> (rule5 % int3))) -> (rule7 % int2)) triple15) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple13) -> (rule5 % int3))) -> (rule7 % int2)) ((triple13) -> (rule5 % int3))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
((((triple5) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple3 triple5) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple5) -> (rule7 % int3)) ((triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple5) -> (rule7 % int3)) ((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple3 triple5) -> (rule6 % int3)) ((triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple3 triple5) -> (rule6 % int3)) ((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple3 ((triple1) -> (rule5 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple2) -> (rule3 % int3)) triple5) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule7 % int2)) ((triple1) -> (rule5 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule7 % int2)) ((triple1) -> (rule5 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple3 ((triple1) -> (rule5 % int3))) -> (rule6 % int2)) ((triple1) -> (rule5 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple3 ((triple1) -> (rule5 % int3))) -> (rule6 % int2)) ((triple2) -> (rule4 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2)) ((triple1) -> (rule5 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2)) ((triple2) -> (rule4 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple2) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2) -> (rule3 % int4)) ((triple1) -> (rule5 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2) -> (rule3 % int4)) ((triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2) -> (rule3 % int4)) ((triple1) -> (rule5 % int3))) -> (rule6 % int2)) ((triple1) -> (rule5 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2) -> (rule3 % int4)) ((triple1) -> (rule5 % int3))) -> (rule6 % int2)) ((triple2) -> (rule4 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2) -> (rule3 % int4)) ((triple2) -> (rule4 % int3))) -> (rule6 % int2)) ((triple1) -> (rule5 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2) -> (rule3 % int4)) ((triple2) -> (rule4 % int3))) -> (rule6 % int2)) ((triple2) -> (rule4 % int3))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4