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