Bob is blue. Bob is cold. Bob is nice. Bob is rough. Bob is smart. Bob is young. Harry is blue. Harry is cold. Harry is nice. Harry is rough. Harry is smart. Harry is young. If Bob is rough and Bob is smart then Bob is cold. All nice, rough things are smart. If something is green and cold then it is blue. All smart, nice things are rough. If something is rough and young then it is green. Young things are smart.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If Bob is rough and Bob is smart then Bob is cold.
((("Bob" "is" "rough" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "cold" "+"))
All nice, rough things are smart.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
If something is green and cold then it is blue.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All smart, nice things are rough.
((("something" "is" "smart" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is rough and young then it is green.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Bob is nice.
True
1
proof
[(triple3)]
("Bob" "is" "nice" "+")
triple3
Harry is not cold.
False
1
inv-proof
[(triple8)]
("Harry" "is" "cold" "-")
triple8
Bob is green.
True
3
proof
[(((triple4 triple6) -> rule5) OR ((((triple5 triple3) -> rule4) triple6) -> rule5) OR ((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5))]
("Bob" "is" "green" "+")
((triple4 triple6) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple5 triple3) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple6) -> (rule6 % int3)) triple3) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Harry is not green.
False
3
inv-proof
[(((triple10 triple12) -> rule5) OR ((((triple11 triple9) -> rule4) triple12) -> rule5) OR ((((((triple12) -> rule6) triple9) -> rule4) triple12) -> rule5))]
("Harry" "is" "green" "-")
((triple10 triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple11 triple9) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple12) -> (rule6 % int3)) triple9) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
@0: Bob is blue.[(triple1 OR ((((triple4 triple6) -> rule5) triple2) -> rule3) OR ((((triple4 triple6) -> rule5) ((triple4 triple5) -> rule1)) -> rule3) OR ((((((triple5 triple3) -> rule4) triple6) -> rule5) triple2) -> rule3) OR ((((triple4 triple6) -> rule5) ((triple4 ((triple6) -> rule6)) -> rule1)) -> rule3) OR ((((triple4 triple6) -> rule5) ((triple4 ((triple3 triple4) -> rule2)) -> rule1)) -> rule3) OR ((((triple4 triple6) -> rule5) ((((triple5 triple3) -> rule4) triple5) -> rule1)) -> rule3) OR ((((((triple5 triple3) -> rule4) triple6) -> rule5) ((triple4 triple5) -> rule1)) -> rule3) OR ((((triple4 triple6) -> rule5) ((((triple5 triple3) -> rule4) ((triple6) -> rule6)) -> rule1)) -> rule3) OR ((((triple4 triple6) -> rule5) ((((triple5 triple3) -> rule4) ((triple3 triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((triple5 triple3) -> rule4) triple6) -> rule5) ((triple4 ((triple6) -> rule6)) -> rule1)) -> rule3) OR ((((((triple5 triple3) -> rule4) triple6) -> rule5) ((triple4 ((triple3 triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((triple5 triple3) -> rule4) triple6) -> rule5) ((((triple5 triple3) -> rule4) triple5) -> rule1)) -> rule3) OR ((((((triple5 triple3) -> rule4) triple6) -> rule5) ((((triple5 triple3) -> rule4) ((triple6) -> rule6)) -> rule1)) -> rule3) OR ((((((triple5 triple3) -> rule4) triple6) -> rule5) ((((triple5 triple3) -> rule4) ((triple3 triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5) triple2) -> rule3) OR ((((triple4 triple6) -> rule5) ((((((triple6) -> rule6) triple3) -> rule4) triple5) -> rule1)) -> rule3) OR ((((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5) ((triple4 triple5) -> rule1)) -> rule3) OR ((((triple4 triple6) -> rule5) ((((((triple6) -> rule6) triple3) -> rule4) ((triple6) -> rule6)) -> rule1)) -> rule3) OR ((((triple4 triple6) -> rule5) ((((((triple6) -> rule6) triple3) -> rule4) ((triple3 triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((triple5 triple3) -> rule4) triple6) -> rule5) ((((((triple6) -> rule6) triple3) -> rule4) triple5) -> rule1)) -> rule3) OR ((((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5) ((triple4 ((triple6) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5) ((triple4 ((triple3 triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5) ((((triple5 triple3) -> rule4) triple5) -> rule1)) -> rule3) OR ((((((triple5 triple3) -> rule4) triple6) -> rule5) ((((((triple6) -> rule6) triple3) -> rule4) ((triple6) -> rule6)) -> rule1)) -> rule3) OR ((((((triple5 triple3) -> rule4) triple6) -> rule5) ((((((triple6) -> rule6) triple3) -> rule4) ((triple3 triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5) ((((triple5 triple3) -> rule4) ((triple6) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5) ((((triple5 triple3) -> rule4) ((triple3 triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5) ((((((triple6) -> rule6) triple3) -> rule4) triple5) -> rule1)) -> rule3) OR ((((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5) ((((((triple6) -> rule6) triple3) -> rule4) ((triple6) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5) ((((((triple6) -> rule6) triple3) -> rule4) ((triple3 triple4) -> rule2)) -> rule1)) -> rule3))] Bob is cold.[(triple2 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple6) -> rule6)) -> rule1) OR ((triple4 ((triple3 triple4) -> rule2)) -> rule1) OR ((((triple5 triple3) -> rule4) triple5) -> rule1) OR ((((triple5 triple3) -> rule4) ((triple6) -> rule6)) -> rule1) OR ((((triple5 triple3) -> rule4) ((triple3 triple4) -> rule2)) -> rule1) OR ((((((triple6) -> rule6) triple3) -> rule4) triple5) -> rule1) OR ((((((triple6) -> rule6) triple3) -> rule4) ((triple6) -> rule6)) -> rule1) OR ((((((triple6) -> rule6) triple3) -> rule4) ((triple3 triple4) -> rule2)) -> rule1))] Bob is nice.[(triple3)] Bob is rough.[(triple4 OR ((triple5 triple3) -> rule4) OR ((((triple6) -> rule6) triple3) -> rule4))] Bob is smart.[(triple5 OR ((triple6) -> rule6) OR ((triple3 triple4) -> rule2))] Bob is young.[(triple6)] Harry is blue.[(triple7 OR ((((triple10 triple12) -> rule5) triple8) -> rule3) OR ((((((triple11 triple9) -> rule4) triple12) -> rule5) triple8) -> rule3) OR ((((((((triple12) -> rule6) triple9) -> rule4) triple12) -> rule5) triple8) -> rule3))] Harry is cold.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10 OR ((triple11 triple9) -> rule4) OR ((((triple12) -> rule6) triple9) -> rule4))] Harry is smart.[(triple11 OR ((triple12) -> rule6) OR ((triple9 triple10) -> rule2))] Harry is young.[(triple12)] @1: Bob is green.[(((triple4 triple6) -> rule5) OR ((((triple5 triple3) -> rule4) triple6) -> rule5) OR ((((((triple6) -> rule6) triple3) -> rule4) triple6) -> rule5))] Harry is green.[(((triple10 triple12) -> rule5) OR ((((triple11 triple9) -> rule4) triple12) -> rule5) OR ((((((triple12) -> rule6) triple9) -> rule4) triple12) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((((triple4 triple6) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple4 triple6) -> (rule5 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple5 triple3) -> (rule4 % int3)) triple6) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple4 triple6) -> (rule5 % int4)) ((triple4 ((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple4 triple6) -> (rule5 % int4)) ((triple4 ((triple3 triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple4 triple6) -> (rule5 % int4)) ((((triple5 triple3) -> (rule4 % int3)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple5 triple3) -> (rule4 % int4)) triple6) -> (rule5 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple4 triple6) -> (rule5 % int5)) ((((triple5 triple3) -> (rule4 % int4)) ((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple4 triple6) -> (rule5 % int5)) ((((triple5 triple3) -> (rule4 % int4)) ((triple3 triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple5 triple3) -> (rule4 % int5)) triple6) -> (rule5 % int4)) ((triple4 ((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple5 triple3) -> (rule4 % int5)) triple6) -> (rule5 % int4)) ((triple4 ((triple3 triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple5 triple3) -> (rule4 % int4)) triple6) -> (rule5 % int3)) ((((triple5 triple3) -> (rule4 % int4)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple5 triple3) -> (rule4 % int5)) triple6) -> (rule5 % int4)) ((((triple5 triple3) -> (rule4 % int5)) ((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple5 triple3) -> (rule4 % int5)) triple6) -> (rule5 % int4)) ((((triple5 triple3) -> (rule4 % int5)) ((triple3 triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple6) -> (rule6 % int4)) triple3) -> (rule4 % int3)) triple6) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple4 triple6) -> (rule5 % int5)) ((((((triple6) -> (rule6 % int4)) triple3) -> (rule4 % int3)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) triple6) -> (rule5 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple4 triple6) -> (rule5 % int5)) ((((((triple6) -> (rule6 % int4)) triple3) -> (rule4 % int3)) ((triple6) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple4 triple6) -> (rule5 % int5)) ((((((triple6) -> (rule6 % int4)) triple3) -> (rule4 % int3)) ((triple3 triple4) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple5 triple3) -> (rule4 % int5)) triple6) -> (rule5 % int4)) ((((((triple6) -> (rule6 % int3)) triple3) -> (rule4 % int5)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) triple6) -> (rule5 % int3)) ((triple4 ((triple6) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) triple6) -> (rule5 % int3)) ((triple4 ((triple3 triple4) -> (rule2 % int5))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) triple6) -> (rule5 % int3)) ((((triple5 triple3) -> (rule4 % int4)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple5 triple3) -> (rule4 % int5)) triple6) -> (rule5 % int4)) ((((((triple6) -> (rule6 % int3)) triple3) -> (rule4 % int5)) ((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple5 triple3) -> (rule4 % int5)) triple6) -> (rule5 % int4)) ((((((triple6) -> (rule6 % int3)) triple3) -> (rule4 % int5)) ((triple3 triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) triple6) -> (rule5 % int3)) ((((triple5 triple3) -> (rule4 % int4)) ((triple6) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) triple6) -> (rule5 % int3)) ((((triple5 triple3) -> (rule4 % int4)) ((triple3 triple4) -> (rule2 % int5))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) triple6) -> (rule5 % int3)) ((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) triple6) -> (rule5 % int3)) ((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) ((triple6) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) triple6) -> (rule5 % int3)) ((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4)) ((triple3 triple4) -> (rule2 % int5))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple4 triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple4 ((triple6) -> (rule6 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((triple4 ((triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple5 triple3) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple5 triple3) -> (rule4 % int3)) ((triple6) -> (rule6 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple5 triple3) -> (rule4 % int3)) ((triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple6) -> (rule6 % int3)) triple3) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple6) -> (rule6 % int3)) triple3) -> (rule4 % int2)) ((triple6) -> (rule6 % int3))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple6) -> (rule6 % int3)) triple3) -> (rule4 % int2)) ((triple3 triple4) -> (rule2 % int3))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((triple5 triple3) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple6) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple5
((triple6) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple3 triple4) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
((((triple10 triple12) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple11 triple9) -> (rule4 % int3)) triple12) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((((triple12) -> (rule6 % int4)) triple9) -> (rule4 % int3)) triple12) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
((triple11 triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple12) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple11
((triple12) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple9 triple10) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple12
Bob is green.
("Bob" "is" "green" "+")
((triple4 triple6) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple5 triple3) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple6) -> (rule6 % int3)) triple3) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((triple10 triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple11 triple9) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple12) -> (rule6 % int3)) triple9) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3