Bob is big. Bob is blue. Bob is cold. Bob is rough. Bob is round. Bob is white. Harry is big. Harry is nice. Harry is rough. Harry is round. If something is blue and round then it is nice. Nice, big things are cold. If something is rough and blue then it is nice. Cold things are white. All nice things are white. If something is round then it is blue. All nice, blue things are white. All round, blue things are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is blue and round then it is nice.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Nice, big things are cold.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something is rough and blue then it is nice.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
All nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If something is round then it is blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
All nice, blue things are white.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All round, blue things are big.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Bob is big.
True
1
proof
[(triple1 OR ((triple5 triple2) -> rule8) OR ((triple5 ((triple5) -> rule6)) -> rule8))]
("Bob" "is" "big" "+")
triple1
((triple5 triple2) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple5 ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Harry is not nice.
False
1
inv-proof
[(triple8 OR ((triple9 ((triple10) -> rule6)) -> rule3) OR ((((triple10) -> rule6) triple10) -> rule1))]
("Harry" "is" "nice" "-")
triple8
((triple9 ((triple10) -> (rule6 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple10) -> (rule6 % int2)) triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is blue.
True
2
proof
[(((triple10) -> rule6))]
("Harry" "is" "blue" "+")
((triple10) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
2
inv-proof
[(((triple10) -> rule6))]
("Harry" "is" "blue" "-")
((triple10) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
@0: Bob is big.[(triple1 OR ((triple5 triple2) -> rule8) OR ((triple5 ((triple5) -> rule6)) -> rule8))] Bob is blue.[(triple2 OR ((triple5) -> rule6))] Bob is cold.[(triple3 OR ((((triple2 triple5) -> rule1) triple1) -> rule2) OR ((((triple4 triple2) -> rule3) triple1) -> rule2) OR ((((triple2 triple5) -> rule1) ((triple5 triple2) -> rule8)) -> rule2) OR ((((triple4 triple2) -> rule3) ((triple5 triple2) -> rule8)) -> rule2) OR ((((triple4 ((triple5) -> rule6)) -> rule3) triple1) -> rule2) OR ((((((triple5) -> rule6) triple5) -> rule1) triple1) -> rule2) OR ((((triple2 triple5) -> rule1) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule2) OR ((((triple4 triple2) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule2) OR ((((triple4 ((triple5) -> rule6)) -> rule3) ((triple5 triple2) -> rule8)) -> rule2) OR ((((((triple5) -> rule6) triple5) -> rule1) ((triple5 triple2) -> rule8)) -> rule2) OR ((((triple4 ((triple5) -> rule6)) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule2) OR ((((((triple5) -> rule6) triple5) -> rule1) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule2))] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6 OR ((triple3) -> rule4) OR ((((triple2 triple5) -> rule1)) -> rule5) OR ((((triple4 triple2) -> rule3)) -> rule5) OR ((((triple2 triple5) -> rule1) triple2) -> rule7) OR ((((triple4 triple2) -> rule3) triple2) -> rule7) OR ((((triple2 triple5) -> rule1) ((triple5) -> rule6)) -> rule7) OR ((((triple4 triple2) -> rule3) ((triple5) -> rule6)) -> rule7) OR ((((triple4 ((triple5) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5) -> rule6) triple5) -> rule1)) -> rule5) OR ((((((triple2 triple5) -> rule1) triple1) -> rule2)) -> rule4) OR ((((((triple4 triple2) -> rule3) triple1) -> rule2)) -> rule4) OR ((((triple4 ((triple5) -> rule6)) -> rule3) triple2) -> rule7) OR ((((((triple5) -> rule6) triple5) -> rule1) triple2) -> rule7) OR ((((((triple2 triple5) -> rule1) ((triple5 triple2) -> rule8)) -> rule2)) -> rule4) OR ((((((triple4 triple2) -> rule3) ((triple5 triple2) -> rule8)) -> rule2)) -> rule4) OR ((((triple4 ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule7) OR ((((((triple5) -> rule6) triple5) -> rule1) ((triple5) -> rule6)) -> rule7) OR ((((((triple4 ((triple5) -> rule6)) -> rule3) triple1) -> rule2)) -> rule4) OR ((((((((triple5) -> rule6) triple5) -> rule1) triple1) -> rule2)) -> rule4) OR ((((((triple2 triple5) -> rule1) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple4 triple2) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple4 ((triple5) -> rule6)) -> rule3) ((triple5 triple2) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple5) -> rule6) triple5) -> rule1) ((triple5 triple2) -> rule8)) -> rule2)) -> rule4) OR ((((((triple4 ((triple5) -> rule6)) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple5) -> rule6) triple5) -> rule1) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule2)) -> rule4))] Harry is big.[(triple7 OR ((triple10 ((triple10) -> rule6)) -> rule8))] Harry is nice.[(triple8 OR ((triple9 ((triple10) -> rule6)) -> rule3) OR ((((triple10) -> rule6) triple10) -> rule1))] Harry is rough.[(triple9)] Harry is round.[(triple10)] @1: Bob is nice.[(((triple2 triple5) -> rule1) OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple5) -> rule6)) -> rule3) OR ((((triple5) -> rule6) triple5) -> rule1))] Harry is blue.[(((triple10) -> rule6))] Harry is cold.[(((triple8 triple7) -> rule2) OR ((triple8 ((triple10 ((triple10) -> rule6)) -> rule8)) -> rule2) OR ((((triple9 ((triple10) -> rule6)) -> rule3) triple7) -> rule2) OR ((((((triple10) -> rule6) triple10) -> rule1) triple7) -> rule2) OR ((((triple9 ((triple10) -> rule6)) -> rule3) ((triple10 ((triple10) -> rule6)) -> rule8)) -> rule2) OR ((((((triple10) -> rule6) triple10) -> rule1) ((triple10 ((triple10) -> rule6)) -> rule8)) -> rule2))] Harry is white.[(((triple8) -> rule5) OR ((((triple8 triple7) -> rule2)) -> rule4) OR ((triple8 ((triple10) -> rule6)) -> rule7) OR ((((triple9 ((triple10) -> rule6)) -> rule3)) -> rule5) OR ((((((triple10) -> rule6) triple10) -> rule1)) -> rule5) OR ((((triple9 ((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule7) OR ((((((triple10) -> rule6) triple10) -> rule1) ((triple10) -> rule6)) -> rule7) OR ((((triple8 ((triple10 ((triple10) -> rule6)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple9 ((triple10) -> rule6)) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((((triple10) -> rule6) triple10) -> rule1) triple7) -> rule2)) -> rule4) OR ((((((triple9 ((triple10) -> rule6)) -> rule3) ((triple10 ((triple10) -> rule6)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple10) -> rule6) triple10) -> rule1) ((triple10 ((triple10) -> rule6)) -> rule8)) -> rule2)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple5 triple2) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple5 ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple5) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple3
((((triple2 triple5) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4 triple2) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple2 triple5) -> (rule1 % int3)) ((triple5 triple2) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple4 triple2) -> (rule3 % int3)) ((triple5 triple2) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple4 ((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple5) -> (rule6 % int3)) triple5) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple2 triple5) -> (rule1 % int4)) ((triple5 ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple4 triple2) -> (rule3 % int4)) ((triple5 ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple4 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((triple5 triple2) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple5) -> (rule6 % int4)) triple5) -> (rule1 % int3)) ((triple5 triple2) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple5) -> (rule6 % int4)) triple5) -> (rule1 % int3)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
((triple3) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple2 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple2 triple5) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4 triple2) -> (rule3 % int2)) triple2) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple2 triple5) -> (rule1 % int3)) ((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple4 triple2) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple4 ((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple5) -> (rule6 % int3)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple2 triple5) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple4 triple2) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple4 ((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple5) -> (rule6 % int3)) triple5) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple2 triple5) -> (rule1 % int4)) ((triple5 triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple4 triple2) -> (rule3 % int4)) ((triple5 triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple4 ((triple5) -> (rule6 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int3))) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple5) -> (rule6 % int3)) triple5) -> (rule1 % int2)) ((triple5) -> (rule6 % int3))) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple4 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((((triple5) -> (rule6 % int4)) triple5) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple2 triple5) -> (rule1 % int5)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple4 triple2) -> (rule3 % int5)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple4 ((triple5) -> (rule6 % int5))) -> (rule3 % int4)) ((triple5 triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((triple5) -> (rule6 % int5)) triple5) -> (rule1 % int4)) ((triple5 triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((triple4 ((triple5) -> (rule6 % int5))) -> (rule3 % int4)) ((triple5 ((triple5) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((triple5) -> (rule6 % int5)) triple5) -> (rule1 % int4)) ((triple5 ((triple5) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
triple7
((triple10 ((triple10) -> (rule6 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
triple8
((triple9 ((triple10) -> (rule6 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple10) -> (rule6 % int2)) triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 triple5) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple4 triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple4 ((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple5) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple10) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple8 triple7) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple8 ((triple10 ((triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple9 ((triple10) -> (rule6 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple10) -> (rule6 % int3)) triple10) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple9 ((triple10) -> (rule6 % int4))) -> (rule3 % int3)) ((triple10 ((triple10) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple10) -> (rule6 % int4)) triple10) -> (rule1 % int3)) ((triple10 ((triple10) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((triple8) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple8 triple7) -> (rule2 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((triple8 ((triple10) -> (rule6 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple9 ((triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple10) -> (rule6 % int3)) triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple9 ((triple10) -> (rule6 % int3))) -> (rule3 % int2)) ((triple10) -> (rule6 % int3))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple10) -> (rule6 % int3)) triple10) -> (rule1 % int2)) ((triple10) -> (rule6 % int3))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple8 ((triple10 ((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple9 ((triple10) -> (rule6 % int4))) -> (rule3 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple10) -> (rule6 % int4)) triple10) -> (rule1 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple9 ((triple10) -> (rule6 % int5))) -> (rule3 % int4)) ((triple10 ((triple10) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple10) -> (rule6 % int5)) triple10) -> (rule1 % int4)) ((triple10 ((triple10) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5