Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is smart. Dave is furry. Dave is red. Dave is rough. All furry, red things are blue. Nice things are blue. All furry, smart things are blue. If something is blue and red then it is green. Rough things are green. If something is smart and not furry then it is green. All blue things are smart. All smart, blue things are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
All furry, red things are blue.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
Nice things are blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
All furry, smart things are blue.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
If something is blue and red then it is green.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is smart and not furry then it is green.
((("something" "is" "smart" "+") ("something" "is" "furry" "~")) -> ("something" "is" "green" "+"))
All blue things are smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
All smart, blue things are red.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Dave is furry.
True
1
proof
[(triple8)]
("Dave" "is" "furry" "+")
triple8
Anne is not furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
Dave is green.
True
2
proof
[(((triple10) -> rule5) OR ((((triple8 triple9) -> rule1) triple9) -> rule4))]
("Dave" "is" "green" "+")
((triple10) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple8 triple9) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not green.
False
2
inv-proof
[(((triple10) -> rule5) OR ((((triple8 triple9) -> rule1) triple9) -> rule4))]
("Dave" "is" "green" "-")
((triple10) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple8 triple9) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
True
4
proof
[(((((triple8 triple9) -> rule1)) -> rule7))]
("Dave" "is" "smart" "+")
((((triple8 triple9) -> (rule1 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not smart.
False
4
inv-proof
[(((((triple8 triple9) -> rule1)) -> rule7))]
("Dave" "is" "smart" "-")
((((triple8 triple9) -> (rule1 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
@0: Anne is blue.[(triple1 OR ((triple4) -> rule2) OR ((triple2 triple5) -> rule1) OR ((triple2 triple7) -> rule3))] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple6) -> rule5) OR ((triple1 triple5) -> rule4) OR ((triple1 ((triple7 triple1) -> rule8)) -> rule4) OR ((((triple4) -> rule2) triple5) -> rule4) OR ((((triple2 triple5) -> rule1) triple5) -> rule4) OR ((((triple2 triple7) -> rule3) triple5) -> rule4) OR ((((triple4) -> rule2) ((triple7 triple1) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule1) ((triple7 triple1) -> rule8)) -> rule4) OR ((((triple2 triple7) -> rule3) ((triple7 triple1) -> rule8)) -> rule4) OR ((triple1 ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((triple7 ((triple2 triple7) -> rule3)) -> rule8)) -> rule4) OR ((triple1 ((((triple1) -> rule7) triple1) -> rule8)) -> rule4) OR ((triple1 ((((triple1) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((((triple1) -> rule7) ((triple2 triple7) -> rule3)) -> rule8)) -> rule4) OR ((((triple4) -> rule2) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple4) -> rule2) ((triple7 ((triple2 triple7) -> rule3)) -> rule8)) -> rule4) OR ((((triple4) -> rule2) ((((triple1) -> rule7) triple1) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule1) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule1) ((triple7 ((triple2 triple7) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule1) ((((triple1) -> rule7) triple1) -> rule8)) -> rule4) OR ((((triple2 triple7) -> rule3) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple7) -> rule3) ((triple7 ((triple2 triple7) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 triple7) -> rule3) ((((triple1) -> rule7) triple1) -> rule8)) -> rule4) OR ((((triple4) -> rule2) ((((triple1) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple4) -> rule2) ((((triple1) -> rule7) ((triple2 triple7) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule1) ((((triple1) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule1) ((((triple1) -> rule7) ((triple2 triple7) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 triple7) -> rule3) ((((triple1) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple7) -> rule3) ((((triple1) -> rule7) ((triple2 triple7) -> rule3)) -> rule8)) -> rule4) OR ((triple1 ((((((triple4) -> rule2)) -> rule7) triple1) -> rule8)) -> rule4) OR ((triple1 ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((((((triple4) -> rule2)) -> rule7) ((triple2 triple7) -> rule3)) -> rule8)) -> rule4) OR ((((triple4) -> rule2) ((((((triple4) -> rule2)) -> rule7) triple1) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule1) ((((((triple4) -> rule2)) -> rule7) triple1) -> rule8)) -> rule4) OR ((((triple2 triple7) -> rule3) ((((((triple4) -> rule2)) -> rule7) triple1) -> rule8)) -> rule4) OR ((((triple4) -> rule2) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple4) -> rule2) ((((((triple4) -> rule2)) -> rule7) ((triple2 triple7) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule1) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule1) ((((((triple4) -> rule2)) -> rule7) ((triple2 triple7) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 triple7) -> rule3) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple7) -> rule3) ((((((triple4) -> rule2)) -> rule7) ((triple2 triple7) -> rule3)) -> rule8)) -> rule4))] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple7 triple1) -> rule8) OR ((triple7 ((triple4) -> rule2)) -> rule8) OR ((triple7 ((triple2 triple7) -> rule3)) -> rule8) OR ((((triple1) -> rule7) triple1) -> rule8) OR ((((triple1) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((((triple1) -> rule7) ((triple2 triple7) -> rule3)) -> rule8) OR ((((((triple4) -> rule2)) -> rule7) triple1) -> rule8) OR ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((((((triple4) -> rule2)) -> rule7) ((triple2 triple7) -> rule3)) -> rule8))] Anne is rough.[(triple6)] Anne is smart.[(triple7 OR ((triple1) -> rule7) OR ((((triple4) -> rule2)) -> rule7) OR ((((triple2 triple5) -> rule1)) -> rule7))] Dave is furry.[(triple8)] Dave is red.[(triple9)] Dave is rough.[(triple10)] @1: Dave is blue.[(((triple8 triple9) -> rule1))] Dave is green.[(((triple10) -> rule5) OR ((((triple8 triple9) -> rule1) triple9) -> rule4))] @2: Dave is smart.[(((((triple8 triple9) -> rule1)) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple4) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple2 triple5) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple2 triple7) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple6) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple1 triple5) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple1 ((triple7 triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple4) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple2 triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple2 triple7) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple7 triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple2 triple5) -> (rule1 % int3)) ((triple7 triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple2 triple7) -> (rule3 % int3)) ((triple7 triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple1 ((triple7 ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple1 ((triple7 ((triple2 triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple1 ((((triple1) -> (rule7 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((triple1 ((((triple1) -> (rule7 % int4)) ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((triple1 ((((triple1) -> (rule7 % int4)) ((triple2 triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple4) -> (rule2 % int3)) ((triple7 ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple4) -> (rule2 % int3)) ((triple7 ((triple2 triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple4) -> (rule2 % int4)) ((((triple1) -> (rule7 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple5) -> (rule1 % int3)) ((triple7 ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple2 triple5) -> (rule1 % int3)) ((triple7 ((triple2 triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple2 triple5) -> (rule1 % int4)) ((((triple1) -> (rule7 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple7) -> (rule3 % int3)) ((triple7 ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple2 triple7) -> (rule3 % int3)) ((triple7 ((triple2 triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple2 triple7) -> (rule3 % int4)) ((((triple1) -> (rule7 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple4) -> (rule2 % int4)) ((((triple1) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple4) -> (rule2 % int4)) ((((triple1) -> (rule7 % int3)) ((triple2 triple7) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple5) -> (rule1 % int4)) ((((triple1) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple5) -> (rule1 % int4)) ((((triple1) -> (rule7 % int3)) ((triple2 triple7) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple7) -> (rule3 % int4)) ((((triple1) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple7) -> (rule3 % int4)) ((((triple1) -> (rule7 % int3)) ((triple2 triple7) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((triple1 ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((triple1 ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((triple1 ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple2 triple7) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple4) -> (rule2 % int4)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple5) -> (rule1 % int4)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple7) -> (rule3 % int4)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple4) -> (rule2 % int4)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple4) -> (rule2 % int4)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple2 triple7) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple5) -> (rule1 % int4)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple5) -> (rule1 % int4)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple2 triple7) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple7) -> (rule3 % int4)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 triple7) -> (rule3 % int4)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple2 triple7) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple7 triple1) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple7 ((triple4) -> (rule2 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((triple7 ((triple2 triple7) -> (rule3 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple4) -> (rule2 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple1) -> (rule7 % int3)) ((triple2 triple7) -> (rule3 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule7 % int2)) ((triple4) -> (rule2 % int3))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule7 % int2)) ((triple2 triple7) -> (rule3 % int3))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Anne is smart.
("Anne" "is" "smart" "+")
triple7
((triple1) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple2 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple8 triple9) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple10) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple8 triple9) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
((((triple8 triple9) -> (rule1 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2