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