Erin is big. Erin is blue. Erin is furry. Erin is quiet. Erin is round. Erin is smart. Harry is big. Harry is nice. Harry is quiet. Harry is smart. If something is furry then it is big. All smart things are blue. All furry things are smart. All quiet things are smart. Big, blue things are nice. If Harry is round and Harry is blue then Harry is smart. If something is blue then it is round. Smart, quiet things are blue.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
All smart things are blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
All furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
All quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
Big, blue things are nice.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If Harry is round and Harry is blue then Harry is smart.
((("Harry" "is" "round" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "smart" "+"))
If something is blue then it is round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Smart, quiet things are blue.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Erin is quiet.
True
1
proof
[(triple4)]
("Erin" "is" "quiet" "+")
triple4
Erin is not blue.
False
1
inv-proof
[(triple2 OR ((triple6) -> rule2) OR ((triple6 triple4) -> rule8) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple4) -> rule4)) -> rule2) OR ((((triple3) -> rule3) triple4) -> rule8) OR ((((triple4) -> rule4) triple4) -> rule8))]
("Erin" "is" "blue" "-")
triple2
((triple6) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple6 triple4) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple3) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple4) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Harry is blue.
True
2
proof
[(((triple10) -> rule2) OR ((triple10 triple9) -> rule8) OR ((((triple9) -> rule4)) -> rule2) OR ((((triple9) -> rule4) triple9) -> rule8))]
("Harry" "is" "blue" "+")
((triple10) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple10 triple9) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple9) -> (rule4 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple9) -> (rule4 % int2)) triple9) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Erin is not nice.
False
3
inv-proof
[(((triple1 triple2) -> rule5) OR ((triple1 ((triple6) -> rule2)) -> rule5) OR ((triple1 ((triple6 triple4) -> rule8)) -> rule5) OR ((((triple3) -> rule1) triple2) -> rule5) OR ((((triple3) -> rule1) ((triple6) -> rule2)) -> rule5) OR ((((triple3) -> rule1) ((triple6 triple4) -> rule8)) -> rule5) OR ((triple1 ((((triple3) -> rule3)) -> rule2)) -> rule5) OR ((triple1 ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple1 ((((triple3) -> rule3) triple4) -> rule8)) -> rule5) OR ((triple1 ((((triple4) -> rule4) triple4) -> rule8)) -> rule5) OR ((((triple3) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) OR ((((triple3) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((triple3) -> rule1) ((((triple3) -> rule3) triple4) -> rule8)) -> rule5) OR ((((triple3) -> rule1) ((((triple4) -> rule4) triple4) -> rule8)) -> rule5))]
("Erin" "is" "nice" "-")
((triple1 triple2) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple1 ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple1 ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple3) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple3) -> (rule1 % int3)) ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple3) -> (rule1 % int3)) ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple1 ((((triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple1 ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple1 ((((triple3) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple1 ((((triple4) -> (rule4 % int3)) triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple3) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple3) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple3) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple3) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3)) triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Harry is round.
True
3
proof
[(((((triple10) -> rule2)) -> rule7) OR ((((triple10 triple9) -> rule8)) -> rule7) OR ((((((triple9) -> rule4)) -> rule2)) -> rule7) OR ((((((triple9) -> rule4) triple9) -> rule8)) -> rule7))]
("Harry" "is" "round" "+")
((((triple10) -> (rule2 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple10 triple9) -> (rule8 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((((triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple9) -> (rule4 % int3)) triple9) -> (rule8 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is not round.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule7) OR ((((triple10 triple9) -> rule8)) -> rule7) OR ((((((triple9) -> rule4)) -> rule2)) -> rule7) OR ((((((triple9) -> rule4) triple9) -> rule8)) -> rule7))]
("Harry" "is" "round" "-")
((((triple10) -> (rule2 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple10 triple9) -> (rule8 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((((triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple9) -> (rule4 % int3)) triple9) -> (rule8 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
@0: Erin is big.[(triple1 OR ((triple3) -> rule1))] Erin is blue.[(triple2 OR ((triple6) -> rule2) OR ((triple6 triple4) -> rule8) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple4) -> rule4)) -> rule2) OR ((((triple3) -> rule3) triple4) -> rule8) OR ((((triple4) -> rule4) triple4) -> rule8))] Erin is furry.[(triple3)] Erin is quiet.[(triple4)] Erin is round.[(triple5 OR ((triple2) -> rule7) OR ((((triple6) -> rule2)) -> rule7) OR ((((triple6 triple4) -> rule8)) -> rule7) OR ((((((triple3) -> rule3)) -> rule2)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2)) -> rule7) OR ((((((triple3) -> rule3) triple4) -> rule8)) -> rule7) OR ((((((triple4) -> rule4) triple4) -> rule8)) -> rule7))] Erin is smart.[(triple6 OR ((triple3) -> rule3) OR ((triple4) -> rule4))] Harry is big.[(triple7)] Harry is nice.[(triple8 OR ((triple7 ((triple10) -> rule2)) -> rule5) OR ((triple7 ((triple10 triple9) -> rule8)) -> rule5) OR ((triple7 ((((triple9) -> rule4)) -> rule2)) -> rule5) OR ((triple7 ((((triple9) -> rule4) triple9) -> rule8)) -> rule5))] Harry is quiet.[(triple9)] Harry is smart.[(triple10 OR ((triple9) -> rule4))] @1: Erin is nice.[(((triple1 triple2) -> rule5) OR ((triple1 ((triple6) -> rule2)) -> rule5) OR ((triple1 ((triple6 triple4) -> rule8)) -> rule5) OR ((((triple3) -> rule1) triple2) -> rule5) OR ((((triple3) -> rule1) ((triple6) -> rule2)) -> rule5) OR ((((triple3) -> rule1) ((triple6 triple4) -> rule8)) -> rule5) OR ((triple1 ((((triple3) -> rule3)) -> rule2)) -> rule5) OR ((triple1 ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple1 ((((triple3) -> rule3) triple4) -> rule8)) -> rule5) OR ((triple1 ((((triple4) -> rule4) triple4) -> rule8)) -> rule5) OR ((((triple3) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) OR ((((triple3) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((triple3) -> rule1) ((((triple3) -> rule3) triple4) -> rule8)) -> rule5) OR ((((triple3) -> rule1) ((((triple4) -> rule4) triple4) -> rule8)) -> rule5))] Harry is blue.[(((triple10) -> rule2) OR ((triple10 triple9) -> rule8) OR ((((triple9) -> rule4)) -> rule2) OR ((((triple9) -> rule4) triple9) -> rule8))] @2: Harry is round.[(((((triple10) -> rule2)) -> rule7) OR ((((triple10 triple9) -> rule8)) -> rule7) OR ((((((triple9) -> rule4)) -> rule2)) -> rule7) OR ((((((triple9) -> rule4) triple9) -> rule8)) -> rule7))]
Erin is big.
("Erin" "is" "big" "+")
triple1
((triple3) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
((triple6) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple6 triple4) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple3) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple4) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
((triple2) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple6 triple4) -> (rule8 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple3) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple4) -> (rule4 % int3)) triple4) -> (rule8 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
triple6
((triple3) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
((triple7 ((triple10) -> (rule2 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple7 ((triple10 triple9) -> (rule8 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple7 ((((triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple7 ((((triple9) -> (rule4 % int3)) triple9) -> (rule8 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
((triple9) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple1 triple2) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple1 ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple1 ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple3) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple3) -> (rule1 % int3)) ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple3) -> (rule1 % int3)) ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple1 ((((triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple1 ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple1 ((((triple3) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple1 ((((triple4) -> (rule4 % int3)) triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple3) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple3) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple3) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple3) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3)) triple4) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
((triple10) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple10 triple9) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple9) -> (rule4 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple9) -> (rule4 % int2)) triple9) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple10) -> (rule2 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple10 triple9) -> (rule8 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((((triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple9) -> (rule4 % int3)) triple9) -> (rule8 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3