Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is red. Bob is cold. Bob is green. Bob is kind. Gary is cold. Gary is green. Gary is quiet. Gary is smart. Harry is nice. Harry is quiet. Harry is red. All cold, smart things are kind. All cold things are smart. All red, cold things are quiet. Kind things are green. All green, nice things are red. If something is quiet then it is cold. If something is nice then it is smart. Nice things are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
All cold, smart things are kind.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
All cold things are smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
All red, cold things are quiet.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
All green, nice things are red.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If something is quiet then it is cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is nice then it is smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Nice things are cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Anne is nice.
True
1
proof
[(triple4)]
("Anne" "is" "nice" "+")
triple4
Anne is not cold.
False
1
inv-proof
[(triple1 OR ((triple4) -> rule8))]
("Anne" "is" "cold" "-")
triple1
((triple4) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Harry is smart.
True
2
proof
[(((triple13) -> rule7) OR ((((triple13) -> rule8)) -> rule2) OR ((((triple14) -> rule6)) -> rule2))]
("Harry" "is" "smart" "+")
((triple13) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple13) -> (rule8 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not cold.
False
2
inv-proof
[(((triple13) -> rule8) OR ((triple14) -> rule6))]
("Harry" "is" "cold" "-")
((triple13) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple14) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
True
5
proof
[(((((triple13) -> rule8) ((triple13) -> rule7)) -> rule1) OR ((((triple14) -> rule6) ((triple13) -> rule7)) -> rule1) OR ((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule2)) -> rule1) OR ((((triple13) -> rule8) ((((triple14) -> rule6)) -> rule2)) -> rule1) OR ((((triple14) -> rule6) ((((triple13) -> rule8)) -> rule2)) -> rule1) OR ((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule2)) -> rule1))]
("Harry" "is" "kind" "+")
((((triple13) -> (rule8 % int3)) ((triple13) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple14) -> (rule6 % int3)) ((triple13) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple13) -> (rule8 % int3)) ((((triple13) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple13) -> (rule8 % int3)) ((((triple14) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple14) -> (rule6 % int3)) ((((triple13) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple14) -> (rule6 % int3)) ((((triple14) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not kind.
False
5
inv-proof
[(((((triple13) -> rule8) ((triple13) -> rule7)) -> rule1) OR ((((triple14) -> rule6) ((triple13) -> rule7)) -> rule1) OR ((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule2)) -> rule1) OR ((((triple13) -> rule8) ((((triple14) -> rule6)) -> rule2)) -> rule1) OR ((((triple14) -> rule6) ((((triple13) -> rule8)) -> rule2)) -> rule1) OR ((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule2)) -> rule1))]
("Harry" "is" "kind" "-")
((((triple13) -> (rule8 % int3)) ((triple13) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple14) -> (rule6 % int3)) ((triple13) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple13) -> (rule8 % int3)) ((((triple13) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple13) -> (rule8 % int3)) ((((triple14) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple14) -> (rule6 % int3)) ((((triple13) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple14) -> (rule6 % int3)) ((((triple14) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
True
6
proof
[(((((((triple13) -> rule8) ((triple13) -> rule7)) -> rule1)) -> rule4) OR ((((((triple14) -> rule6) ((triple13) -> rule7)) -> rule1)) -> rule4) OR ((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple13) -> rule8) ((((triple14) -> rule6)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple14) -> rule6) ((((triple13) -> rule8)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule2)) -> rule1)) -> rule4))]
("Harry" "is" "green" "+")
((((((triple13) -> (rule8 % int4)) ((triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule6 % int4)) ((triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple13) -> (rule8 % int4)) ((((triple13) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple13) -> (rule8 % int4)) ((((triple14) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule6 % int4)) ((((triple13) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule6 % int4)) ((((triple14) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is not green.
False
6
inv-proof
[(((((((triple13) -> rule8) ((triple13) -> rule7)) -> rule1)) -> rule4) OR ((((((triple14) -> rule6) ((triple13) -> rule7)) -> rule1)) -> rule4) OR ((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple13) -> rule8) ((((triple14) -> rule6)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple14) -> rule6) ((((triple13) -> rule8)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule2)) -> rule1)) -> rule4))]
("Harry" "is" "green" "-")
((((((triple13) -> (rule8 % int4)) ((triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule6 % int4)) ((triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple13) -> (rule8 % int4)) ((((triple13) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple13) -> (rule8 % int4)) ((((triple14) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule6 % int4)) ((((triple13) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule6 % int4)) ((((triple14) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Bob is not quiet.
Unknown
inv-rconc
[@2: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is cold.[(triple1 OR ((triple4) -> rule8))] Anne is green.[(triple2 OR ((triple3) -> rule4) OR ((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule4) OR ((((triple1 ((triple4) -> rule7)) -> rule1)) -> rule4) OR ((((((triple4) -> rule8) ((triple1) -> rule2)) -> rule1)) -> rule4) OR ((((((triple4) -> rule8) ((triple4) -> rule7)) -> rule1)) -> rule4) OR ((((triple1 ((((triple4) -> rule8)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule2)) -> rule1)) -> rule4))] Anne is kind.[(triple3 OR ((triple1 ((triple1) -> rule2)) -> rule1) OR ((triple1 ((triple4) -> rule7)) -> rule1) OR ((((triple4) -> rule8) ((triple1) -> rule2)) -> rule1) OR ((((triple4) -> rule8) ((triple4) -> rule7)) -> rule1) OR ((triple1 ((((triple4) -> rule8)) -> rule2)) -> rule1) OR ((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule2)) -> rule1))] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple2 triple4) -> rule5) OR ((((triple3) -> rule4) triple4) -> rule5) OR ((((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5) OR ((((((triple1 ((triple4) -> rule7)) -> rule1)) -> rule4) triple4) -> rule5) OR ((((((((triple4) -> rule8) ((triple1) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5) OR ((((((((triple4) -> rule8) ((triple4) -> rule7)) -> rule1)) -> rule4) triple4) -> rule5) OR ((((((triple1 ((((triple4) -> rule8)) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5) OR ((((((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5))] Bob is cold.[(triple6)] Bob is green.[(triple7 OR ((triple8) -> rule4) OR ((((triple6 ((triple6) -> rule2)) -> rule1)) -> rule4))] Bob is kind.[(triple8 OR ((triple6 ((triple6) -> rule2)) -> rule1))] Gary is cold.[(triple9 OR ((triple11) -> rule6))] Gary is green.[(triple10 OR ((((triple9 triple12) -> rule1)) -> rule4) OR ((((triple9 ((triple9) -> rule2)) -> rule1)) -> rule4) OR ((((((triple11) -> rule6) triple12) -> rule1)) -> rule4) OR ((((((triple11) -> rule6) ((triple9) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple11) -> rule6)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule2)) -> rule1)) -> rule4))] Gary is quiet.[(triple11)] Gary is smart.[(triple12 OR ((triple9) -> rule2) OR ((((triple11) -> rule6)) -> rule2))] Harry is nice.[(triple13)] Harry is quiet.[(triple14 OR ((triple15 ((triple13) -> rule8)) -> rule3) OR ((((((((((triple13) -> rule8) ((triple13) -> rule7)) -> rule1)) -> rule4) triple13) -> rule5) ((triple13) -> rule8)) -> rule3) OR ((((((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule2)) -> rule1)) -> rule4) triple13) -> rule5) ((triple13) -> rule8)) -> rule3))] Harry is red.[(triple15 OR ((((((((triple13) -> rule8) ((triple13) -> rule7)) -> rule1)) -> rule4) triple13) -> rule5) OR ((((((((triple14) -> rule6) ((triple13) -> rule7)) -> rule1)) -> rule4) triple13) -> rule5) OR ((((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule2)) -> rule1)) -> rule4) triple13) -> rule5) OR ((((((((triple13) -> rule8) ((((triple14) -> rule6)) -> rule2)) -> rule1)) -> rule4) triple13) -> rule5) OR ((((((((triple14) -> rule6) ((((triple13) -> rule8)) -> rule2)) -> rule1)) -> rule4) triple13) -> rule5) OR ((((((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule2)) -> rule1)) -> rule4) triple13) -> rule5))] @1: Anne is quiet.[(((triple5 triple1) -> rule3) OR ((triple5 ((triple4) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule5) triple1) -> rule3) OR ((((triple2 triple4) -> rule5) ((triple4) -> rule8)) -> rule3) OR ((((((triple3) -> rule4) triple4) -> rule5) triple1) -> rule3) OR ((((((triple3) -> rule4) triple4) -> rule5) ((triple4) -> rule8)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5) triple1) -> rule3) OR ((((((((triple1 ((triple4) -> rule7)) -> rule1)) -> rule4) triple4) -> rule5) triple1) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5) ((triple4) -> rule8)) -> rule3) OR ((((((((triple1 ((triple4) -> rule7)) -> rule1)) -> rule4) triple4) -> rule5) ((triple4) -> rule8)) -> rule3) OR ((((((((((triple4) -> rule8) ((triple1) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5) triple1) -> rule3) OR ((((((((((triple4) -> rule8) ((triple4) -> rule7)) -> rule1)) -> rule4) triple4) -> rule5) triple1) -> rule3) OR ((((((((((triple4) -> rule8) ((triple1) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5) ((triple4) -> rule8)) -> rule3) OR ((((((((((triple4) -> rule8) ((triple4) -> rule7)) -> rule1)) -> rule4) triple4) -> rule5) ((triple4) -> rule8)) -> rule3) OR ((((((((triple1 ((((triple4) -> rule8)) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5) triple1) -> rule3) OR ((((((((triple1 ((((triple4) -> rule8)) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5) ((triple4) -> rule8)) -> rule3) OR ((((((((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5) triple1) -> rule3) OR ((((((((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule2)) -> rule1)) -> rule4) triple4) -> rule5) ((triple4) -> rule8)) -> rule3))] Anne is smart.[(((triple1) -> rule2) OR ((triple4) -> rule7) OR ((((triple4) -> rule8)) -> rule2))] Bob is smart.[(((triple6) -> rule2))] Gary is kind.[(((triple9 triple12) -> rule1) OR ((triple9 ((triple9) -> rule2)) -> rule1) OR ((((triple11) -> rule6) triple12) -> rule1) OR ((((triple11) -> rule6) ((triple9) -> rule2)) -> rule1) OR ((triple9 ((((triple11) -> rule6)) -> rule2)) -> rule1) OR ((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule2)) -> rule1))] Harry is cold.[(((triple13) -> rule8) OR ((triple14) -> rule6))] Harry is smart.[(((triple13) -> rule7) OR ((((triple13) -> rule8)) -> rule2) OR ((((triple14) -> rule6)) -> rule2))] @2: Harry is kind.[(((((triple13) -> rule8) ((triple13) -> rule7)) -> rule1) OR ((((triple14) -> rule6) ((triple13) -> rule7)) -> rule1) OR ((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule2)) -> rule1) OR ((((triple13) -> rule8) ((((triple14) -> rule6)) -> rule2)) -> rule1) OR ((((triple14) -> rule6) ((((triple13) -> rule8)) -> rule2)) -> rule1) OR ((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule2)) -> rule1))] @3: Harry is green.[(((((((triple13) -> rule8) ((triple13) -> rule7)) -> rule1)) -> rule4) OR ((((((triple14) -> rule6) ((triple13) -> rule7)) -> rule1)) -> rule4) OR ((((((triple13) -> rule8) ((((triple13) -> rule8)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple13) -> rule8) ((((triple14) -> rule6)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple14) -> rule6) ((((triple13) -> rule8)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule2)) -> rule1)) -> rule4))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple4) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple3) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple1 ((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple4) -> (rule8 % int4)) ((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple4) -> (rule8 % int4)) ((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple1 ((((triple4) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((triple1 ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple4) -> (rule8 % int3)) ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple4) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple1 ((((triple4) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple4) -> (rule8 % int3)) ((((triple4) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple2 triple4) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple3) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((((triple1 ((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple4) -> (rule8 % int5)) ((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple4) -> (rule8 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((triple1 ((((triple4) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple4) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple7
((triple8) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple6 ((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple8
((triple6 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
triple9
((triple11) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple10
((((triple9 triple12) -> (rule1 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple9 ((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple11) -> (rule6 % int3)) triple12) -> (rule1 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple11) -> (rule6 % int4)) ((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple9 ((((triple11) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple11) -> (rule6 % int4)) ((((triple11) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
((triple9) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
((triple15 ((triple13) -> (rule8 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((((((triple13) -> (rule8 % int6)) ((triple13) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple13) -> (rule5 % int2)) ((triple13) -> (rule8 % int6))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((((triple13) -> (rule8 % int6)) ((((triple13) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple13) -> (rule5 % int2)) ((triple13) -> (rule8 % int6))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is red.
("Harry" "is" "red" "+")
triple15
((((((((triple13) -> (rule8 % int5)) ((triple13) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple13) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple14) -> (rule6 % int5)) ((triple13) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple13) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple13) -> (rule8 % int5)) ((((triple13) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple13) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple13) -> (rule8 % int5)) ((((triple14) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple13) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple14) -> (rule6 % int5)) ((((triple13) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple13) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple14) -> (rule6 % int5)) ((((triple14) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple13) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple5 triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple5 ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple2 triple4) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple2 triple4) -> (rule5 % int3)) ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple3) -> (rule4 % int3)) triple4) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple3) -> (rule4 % int4)) triple4) -> (rule5 % int3)) ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) triple4) -> (rule5 % int3)) ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) triple4) -> (rule5 % int3)) ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((((((triple4) -> (rule8 % int6)) ((triple1) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((triple4) -> (rule8 % int6)) ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((triple4) -> (rule8 % int6)) ((triple1) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2)) ((triple4) -> (rule8 % int6))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((triple4) -> (rule8 % int6)) ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2)) ((triple4) -> (rule8 % int6))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((triple1 ((((triple4) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((triple1 ((((triple4) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2)) ((triple4) -> (rule8 % int6))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((triple4) -> (rule8 % int6)) ((((triple4) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((triple4) -> (rule8 % int6)) ((((triple4) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2)) ((triple4) -> (rule8 % int6))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple4) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple4) -> (rule8 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((triple6) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple9 triple12) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple9 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple11) -> (rule6 % int2)) triple12) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple9 ((((triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple11) -> (rule6 % int3)) ((((triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((triple13) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple14) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple13) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple13) -> (rule8 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple13) -> (rule8 % int3)) ((triple13) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple14) -> (rule6 % int3)) ((triple13) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple13) -> (rule8 % int3)) ((((triple13) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple13) -> (rule8 % int3)) ((((triple14) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple14) -> (rule6 % int3)) ((((triple13) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple14) -> (rule6 % int3)) ((((triple14) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((((((triple13) -> (rule8 % int4)) ((triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule6 % int4)) ((triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple13) -> (rule8 % int4)) ((((triple13) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple13) -> (rule8 % int4)) ((((triple14) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule6 % int4)) ((((triple13) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule6 % int4)) ((((triple14) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4