Bob is big. Bob is blue. Bob is cold. Bob is rough. Bob is round. Bob is white. Dave is big. Dave is rough. Dave is round. Dave is white. Harry is blue. Harry is cold. Harry is furry. Harry is rough. Harry is white. If something is blue and cold then it is rough. All furry things are big. All furry, rough things are big. All big, cold things are blue. All cold, blue things are furry. If something is white then it is cold. If something is blue then it is furry. All furry things are round.
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" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is blue and cold then it is rough.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
All furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
All furry, rough things are big.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
All big, cold things are blue.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All cold, blue things are furry.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is white then it is cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Harry is rough.
True
1
proof
[(triple14 OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple15) -> rule6)) -> rule1) OR ((((((triple13) -> rule2) triple12) -> rule4) triple12) -> rule1) OR ((((((triple13) -> rule2) triple12) -> rule4) ((triple15) -> rule6)) -> rule1) OR ((((((triple13) -> rule2) ((triple15) -> rule6)) -> rule4) triple12) -> rule1) OR ((((((triple13) -> rule2) ((triple15) -> rule6)) -> rule4) ((triple15) -> rule6)) -> rule1))]
("Harry" "is" "rough" "+")
triple14
((triple11 triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple11 ((triple15) -> (rule6 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple13) -> (rule2 % int3)) triple12) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple13) -> (rule2 % int4)) triple12) -> (rule4 % int3)) ((triple15) -> (rule6 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple13) -> (rule2 % int4)) ((triple15) -> (rule6 % int3))) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple13) -> (rule2 % int4)) ((triple15) -> (rule6 % int3))) -> (rule4 % int2)) ((triple15) -> (rule6 % int3))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is not white.
False
1
inv-proof
[(triple15)]
("Harry" "is" "white" "-")
triple15
@0: Bob is big.[(triple1 OR ((((triple2) -> rule7)) -> rule2) OR ((((triple3 triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule7) triple4) -> rule3) OR ((((triple3 triple2) -> rule5) triple4) -> rule3) OR ((((triple2) -> rule7) ((triple2 triple3) -> rule1)) -> rule3) OR ((((triple3 triple2) -> rule5) ((triple2 triple3) -> rule1)) -> rule3) OR ((((((triple6) -> rule6) triple2) -> rule5)) -> rule2) OR ((((((triple6) -> rule6) triple2) -> rule5) triple4) -> rule3) OR ((((triple2) -> rule7) ((triple2 ((triple6) -> rule6)) -> rule1)) -> rule3) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple6) -> rule6)) -> rule1)) -> rule3) OR ((((((triple6) -> rule6) triple2) -> rule5) ((triple2 triple3) -> rule1)) -> rule3) OR ((((((triple6) -> rule6) triple2) -> rule5) ((triple2 ((triple6) -> rule6)) -> rule1)) -> rule3))] Bob is blue.[(triple2 OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple6) -> rule6)) -> rule4))] Bob is cold.[(triple3 OR ((triple6) -> rule6))] Bob is rough.[(triple4 OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple6) -> rule6)) -> rule1) OR ((((triple1 triple3) -> rule4) triple3) -> rule1) OR ((((triple1 triple3) -> rule4) ((triple6) -> rule6)) -> rule1) OR ((((triple1 ((triple6) -> rule6)) -> rule4) triple3) -> rule1) OR ((((triple1 ((triple6) -> rule6)) -> rule4) ((triple6) -> rule6)) -> rule1))] Bob is round.[(triple5 OR ((((triple2) -> rule7)) -> rule8) OR ((((triple3 triple2) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule4)) -> rule7)) -> rule8) OR ((((triple3 ((triple1 triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6) triple2) -> rule5)) -> rule8) OR ((((((triple6) -> rule6) ((triple1 triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple1 ((triple6) -> rule6)) -> rule4)) -> rule7)) -> rule8) OR ((((triple3 ((triple1 ((triple6) -> rule6)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6) ((triple1 ((triple6) -> rule6)) -> rule4)) -> rule5)) -> rule8))] Bob is white.[(triple6)] Dave is big.[(triple7)] Dave is rough.[(triple8 OR ((((triple7 ((triple10) -> rule6)) -> rule4) ((triple10) -> rule6)) -> rule1))] Dave is round.[(triple9 OR ((((((triple7 ((triple10) -> rule6)) -> rule4)) -> rule7)) -> rule8) OR ((((((triple10) -> rule6) ((triple7 ((triple10) -> rule6)) -> rule4)) -> rule5)) -> rule8))] Dave is white.[(triple10)] Harry is blue.[(triple11 OR ((((triple13) -> rule2) triple12) -> rule4) OR ((((triple13 triple14) -> rule3) triple12) -> rule4) OR ((((triple13) -> rule2) ((triple15) -> rule6)) -> rule4) OR ((((triple13 triple14) -> rule3) ((triple15) -> rule6)) -> rule4))] Harry is cold.[(triple12 OR ((triple15) -> rule6))] Harry is furry.[(triple13 OR ((triple11) -> rule7) OR ((triple12 triple11) -> rule5) OR ((((triple15) -> rule6) triple11) -> rule5))] Harry is rough.[(triple14 OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple15) -> rule6)) -> rule1) OR ((((((triple13) -> rule2) triple12) -> rule4) triple12) -> rule1) OR ((((((triple13) -> rule2) triple12) -> rule4) ((triple15) -> rule6)) -> rule1) OR ((((((triple13) -> rule2) ((triple15) -> rule6)) -> rule4) triple12) -> rule1) OR ((((((triple13) -> rule2) ((triple15) -> rule6)) -> rule4) ((triple15) -> rule6)) -> rule1))] Harry is white.[(triple15)] @1: Bob is furry.[(((triple2) -> rule7) OR ((triple3 triple2) -> rule5) OR ((((triple1 triple3) -> rule4)) -> rule7) OR ((triple3 ((triple1 triple3) -> rule4)) -> rule5) OR ((((triple6) -> rule6) triple2) -> rule5) OR ((((triple6) -> rule6) ((triple1 triple3) -> rule4)) -> rule5) OR ((((triple1 ((triple6) -> rule6)) -> rule4)) -> rule7) OR ((triple3 ((triple1 ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((triple6) -> rule6) ((triple1 ((triple6) -> rule6)) -> rule4)) -> rule5))] Dave is cold.[(((triple10) -> rule6))] Harry is big.[(((triple13) -> rule2) OR ((triple13 triple14) -> rule3) OR ((((triple11) -> rule7)) -> rule2) OR ((((triple12 triple11) -> rule5)) -> rule2) OR ((triple13 ((triple11 triple12) -> rule1)) -> rule3) OR ((((triple11) -> rule7) triple14) -> rule3) OR ((((triple12 triple11) -> rule5) triple14) -> rule3) OR ((((triple11) -> rule7) ((triple11 triple12) -> rule1)) -> rule3) OR ((((triple12 triple11) -> rule5) ((triple11 triple12) -> rule1)) -> rule3) OR ((((((triple15) -> rule6) triple11) -> rule5)) -> rule2) OR ((triple13 ((triple11 ((triple15) -> rule6)) -> rule1)) -> rule3) OR ((((((triple15) -> rule6) triple11) -> rule5) triple14) -> rule3) OR ((((triple11) -> rule7) ((triple11 ((triple15) -> rule6)) -> rule1)) -> rule3) OR ((((triple12 triple11) -> rule5) ((triple11 ((triple15) -> rule6)) -> rule1)) -> rule3) OR ((((((triple15) -> rule6) triple11) -> rule5) ((triple11 triple12) -> rule1)) -> rule3) OR ((((((triple15) -> rule6) triple11) -> rule5) ((triple11 ((triple15) -> rule6)) -> rule1)) -> rule3))] Harry is round.[(((triple13) -> rule8) OR ((((triple11) -> rule7)) -> rule8) OR ((((triple12 triple11) -> rule5)) -> rule8) OR ((((((triple15) -> rule6) triple11) -> rule5)) -> rule8))] @2: Dave is blue.[(((triple7 ((triple10) -> rule6)) -> rule4))] @3: Dave is furry.[(((((triple7 ((triple10) -> rule6)) -> rule4)) -> rule7) OR ((((triple10) -> rule6) ((triple7 ((triple10) -> rule6)) -> rule4)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple3 triple2) -> (rule5 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2) -> (rule7 % int2)) triple4) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple2 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple3 triple2) -> (rule5 % int3)) ((triple2 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple6) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6) -> (rule6 % int3)) triple2) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple2) -> (rule7 % int4)) ((triple2 ((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple6) -> (rule6 % int4)) triple2) -> (rule5 % int3)) ((triple2 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple6) -> (rule6 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple6) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple1 triple3) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple1 ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
((triple6) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((triple2 triple3) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple2 ((triple6) -> (rule6 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple1 triple3) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule4 % int3)) ((triple6) -> (rule6 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple1 ((triple6) -> (rule6 % int3))) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple1 ((triple6) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6) -> (rule6 % int3))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
triple5
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple3 triple2) -> (rule5 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple1 triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple3 ((triple1 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple6) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6) -> (rule6 % int4)) ((triple1 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple1 ((triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple3 ((triple1 ((triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple6) -> (rule6 % int4)) ((triple1 ((triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
((((triple7 ((triple10) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule6 % int3))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple9
((((((triple7 ((triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((triple10) -> (rule6 % int4)) ((triple7 ((triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
((((triple13) -> (rule2 % int2)) triple12) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple13 triple14) -> (rule3 % int2)) triple12) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple13) -> (rule2 % int3)) ((triple15) -> (rule6 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple13 triple14) -> (rule3 % int3)) ((triple15) -> (rule6 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
triple12
((triple15) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple13
((triple11) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple12 triple11) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple15) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple14
((triple11 triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple11 ((triple15) -> (rule6 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple13) -> (rule2 % int3)) triple12) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple13) -> (rule2 % int4)) triple12) -> (rule4 % int3)) ((triple15) -> (rule6 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple13) -> (rule2 % int4)) ((triple15) -> (rule6 % int3))) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple13) -> (rule2 % int4)) ((triple15) -> (rule6 % int3))) -> (rule4 % int2)) ((triple15) -> (rule6 % int3))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
triple15
Bob is furry.
("Bob" "is" "furry" "+")
((triple2) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple3 triple2) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple1 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((triple3 ((triple1 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple6) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple1 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple1 ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple3 ((triple1 ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple6) -> (rule6 % int3)) ((triple1 ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((triple10) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple13) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple13 triple14) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple12 triple11) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple13 ((triple11 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple11) -> (rule7 % int2)) triple14) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple12 triple11) -> (rule5 % int2)) triple14) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple11) -> (rule7 % int3)) ((triple11 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple12 triple11) -> (rule5 % int3)) ((triple11 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple15) -> (rule6 % int3)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple13 ((triple11 ((triple15) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple15) -> (rule6 % int3)) triple11) -> (rule5 % int2)) triple14) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple11) -> (rule7 % int4)) ((triple11 ((triple15) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple12 triple11) -> (rule5 % int4)) ((triple11 ((triple15) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple15) -> (rule6 % int4)) triple11) -> (rule5 % int3)) ((triple11 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple15) -> (rule6 % int4)) triple11) -> (rule5 % int3)) ((triple11 ((triple15) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
((triple13) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple12 triple11) -> (rule5 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple15) -> (rule6 % int3)) triple11) -> (rule5 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
((triple7 ((triple10) -> (rule6 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
((((triple7 ((triple10) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple10) -> (rule6 % int3)) ((triple7 ((triple10) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3