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