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