Bob is big. Bob is cold. Bob is green. Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Dave is big. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Harry is big. Harry is cold. Harry is nice. Harry is quiet. If something is cold then it is nice. If something is nice then it is blue. All blue things are green. All quiet things are cold. All quiet, nice things are big. If something is cold then it is quiet. Blue, green things are kind. Blue things are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If something is cold then it is nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
All quiet things are cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
All quiet, nice things are big.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If something is cold then it is quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Blue, green things are kind.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
Blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Charlie is kind.
True
1
proof
[(triple7 OR ((((((triple5) -> rule1)) -> rule2) triple6) -> rule7) OR ((((((triple5) -> rule1)) -> rule2) ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule7))]
("Charlie" "is" "kind" "+")
triple7
((((((triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple5) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Bob is not green.
False
1
inv-proof
[(triple3 OR ((((((triple2) -> rule1)) -> rule2)) -> rule3))]
("Bob" "is" "green" "-")
triple3
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Charlie is quiet.
True
2
proof
[(((triple5) -> rule6))]
("Charlie" "is" "quiet" "+")
((triple5) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple5) -> rule6))]
("Charlie" "is" "quiet" "-")
((triple5) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Harry is green.
True
3
proof
[(((((triple15) -> rule2)) -> rule3) OR ((((((triple14) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3))]
("Harry" "is" "green" "+")
((((triple15) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((((triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((((triple16) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is not green.
False
3
inv-proof
[(((((triple15) -> rule2)) -> rule3) OR ((((((triple14) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3))]
("Harry" "is" "green" "-")
((((triple15) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((((triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((((triple16) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
True
6
proof
[(((((triple15) -> rule2) ((((triple15) -> rule2)) -> rule3)) -> rule7) OR ((((((triple14) -> rule1)) -> rule2) ((((triple15) -> rule2)) -> rule3)) -> rule7) OR ((((triple15) -> rule2) ((((((triple14) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple14) -> rule1)) -> rule2) ((((((triple14) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2) ((((triple15) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2) ((((((triple14) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((triple15) -> rule2) ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple14) -> rule1)) -> rule2) ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2) ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7))]
("Harry" "is" "kind" "+")
((((triple15) -> (rule2 % int3)) ((((triple15) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple14) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple15) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple15) -> (rule2 % int4)) ((((((triple14) -> (rule1 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple14) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple16) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple15) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple16) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple15) -> (rule2 % int5)) ((((((((triple16) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple14) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple16) -> (rule4 % int3))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple16) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((((triple16) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Bob is not kind.
False
5
inv-proof
[(((((((triple2) -> rule1)) -> rule2) triple3) -> rule7) OR ((((((triple2) -> rule1)) -> rule2) ((((((triple2) -> rule1)) -> rule2)) -> rule3)) -> rule7))]
("Bob" "is" "kind" "-")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
@0: Bob is big.[(triple1 OR ((((triple2) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2)) -> rule8))] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((((((triple2) -> rule1)) -> rule2)) -> rule3))] Charlie is big.[(triple4 OR ((((triple5) -> rule6) ((triple5) -> rule1)) -> rule5) OR ((((((triple5) -> rule1)) -> rule2)) -> rule8))] Charlie is cold.[(triple5)] Charlie is green.[(triple6 OR ((((((triple5) -> rule1)) -> rule2)) -> rule3))] Charlie is kind.[(triple7 OR ((((((triple5) -> rule1)) -> rule2) triple6) -> rule7) OR ((((((triple5) -> rule1)) -> rule2) ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule7))] Dave is big.[(triple8 OR ((triple12 triple11) -> rule5) OR ((((triple11) -> rule2)) -> rule8) OR ((triple12 ((triple9) -> rule1)) -> rule5) OR ((((triple9) -> rule6) triple11) -> rule5) OR ((((triple9) -> rule6) ((triple9) -> rule1)) -> rule5) OR ((((((triple9) -> rule1)) -> rule2)) -> rule8) OR ((triple12 ((((triple12) -> rule4)) -> rule1)) -> rule5) OR ((((triple9) -> rule6) ((((triple12) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple12) -> rule4)) -> rule1)) -> rule2)) -> rule8))] Dave is cold.[(triple9 OR ((triple12) -> rule4))] Dave is kind.[(triple10 OR ((((triple11) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((triple11) -> rule2) ((((((triple9) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule2) ((((((triple9) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule4)) -> rule1)) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule4)) -> rule1)) -> rule2) ((((((triple9) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((triple11) -> rule2) ((((((((triple12) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule2) ((((((((triple12) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule4)) -> rule1)) -> rule2) ((((((((triple12) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7))] Dave is nice.[(triple11 OR ((triple9) -> rule1) OR ((((triple12) -> rule4)) -> rule1))] Dave is quiet.[(triple12 OR ((triple9) -> rule6))] Harry is big.[(triple13 OR ((triple16 triple15) -> rule5) OR ((((triple15) -> rule2)) -> rule8) OR ((triple16 ((triple14) -> rule1)) -> rule5) OR ((((triple14) -> rule6) triple15) -> rule5) OR ((((triple14) -> rule6) ((triple14) -> rule1)) -> rule5) OR ((((((triple14) -> rule1)) -> rule2)) -> rule8) OR ((triple16 ((((triple16) -> rule4)) -> rule1)) -> rule5) OR ((((triple14) -> rule6) ((((triple16) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule8))] Harry is cold.[(triple14 OR ((triple16) -> rule4))] Harry is nice.[(triple15 OR ((triple14) -> rule1) OR ((((triple16) -> rule4)) -> rule1))] Harry is quiet.[(triple16 OR ((triple14) -> rule6))] @1: Bob is nice.[(((triple2) -> rule1))] Bob is quiet.[(((triple2) -> rule6))] Charlie is nice.[(((triple5) -> rule1))] Charlie is quiet.[(((triple5) -> rule6))] Dave is blue.[(((triple11) -> rule2) OR ((((triple9) -> rule1)) -> rule2) OR ((((((triple12) -> rule4)) -> rule1)) -> rule2))] Harry is blue.[(((triple15) -> rule2) OR ((((triple14) -> rule1)) -> rule2) OR ((((((triple16) -> rule4)) -> rule1)) -> rule2))] @2: Bob is blue.[(((((triple2) -> rule1)) -> rule2))] Charlie is blue.[(((((triple5) -> rule1)) -> rule2))] Dave is green.[(((((triple11) -> rule2)) -> rule3) OR ((((((triple9) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple12) -> rule4)) -> rule1)) -> rule2)) -> rule3))] Harry is green.[(((((triple15) -> rule2)) -> rule3) OR ((((((triple14) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3))] @3: Bob is kind.[(((((((triple2) -> rule1)) -> rule2) triple3) -> rule7) OR ((((((triple2) -> rule1)) -> rule2) ((((((triple2) -> rule1)) -> rule2)) -> rule3)) -> rule7))] Harry is kind.[(((((triple15) -> rule2) ((((triple15) -> rule2)) -> rule3)) -> rule7) OR ((((((triple14) -> rule1)) -> rule2) ((((triple15) -> rule2)) -> rule3)) -> rule7) OR ((((triple15) -> rule2) ((((((triple14) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple14) -> rule1)) -> rule2) ((((((triple14) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2) ((((triple15) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2) ((((((triple14) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((triple15) -> rule2) ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple14) -> rule1)) -> rule2) ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2) ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((((triple2) -> (rule6 % int3)) ((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
((((triple5) -> (rule6 % int3)) ((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
((((((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
((((((triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple5) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
triple8
((triple12 triple11) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((triple12 ((triple9) -> (rule1 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple9) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple9) -> (rule1 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple12 ((((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple9) -> (rule6 % int4)) ((((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple12) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
triple9
((triple12) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple10
((((triple11) -> (rule2 % int3)) ((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple9) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple11) -> (rule2 % int4)) ((((((triple9) -> (rule1 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple9) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple9) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple12) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple12) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple9) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple11) -> (rule2 % int5)) ((((((((triple12) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple9) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple12) -> (rule4 % int3))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((triple12) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((((triple12) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
triple11
((triple9) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple12
((triple9) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple13
((triple16 triple15) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple15) -> (rule2 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple16 ((triple14) -> (rule1 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple14) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple14) -> (rule6 % int3)) ((triple14) -> (rule1 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple16 ((((triple16) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple14) -> (rule6 % int4)) ((((triple16) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((((triple16) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
triple14
((triple16) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple15
((triple14) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple16) -> (rule4 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple16
((triple14) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple2) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple5) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple11) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((triple15) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((((triple16) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((((triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((((triple12) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
((((triple15) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((((triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((((triple16) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
((((triple15) -> (rule2 % int3)) ((((triple15) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple14) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple15) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple15) -> (rule2 % int4)) ((((((triple14) -> (rule1 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple14) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple16) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple15) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple16) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple15) -> (rule2 % int5)) ((((((((triple16) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple14) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple16) -> (rule4 % int3))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple16) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((((triple16) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5