Anne is big. Anne is blue. Anne is furry. Anne is nice. Anne is quiet. Anne is round. Anne is white. Dave is big. Dave is round. Dave is white. If Anne is blue then Anne is nice. All round, blue people are furry. If someone is furry then they are quiet. Round, nice people are blue. If someone is quiet and white then they are nice. Furry people are nice. Big people are nice. All big people are round.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
If Anne is blue then Anne is nice.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "nice" "+"))
All round, blue people are furry.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry then they are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Round, nice people are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is quiet and white then they are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Anne is white.
True
1
proof
[(triple7)]
("Anne" "is" "white" "+")
triple7
Dave is not white.
False
1
inv-proof
[(triple10)]
("Dave" "is" "white" "-")
triple10
Dave is nice.
True
2
proof
[(((triple8) -> rule7))]
("Dave" "is" "nice" "+")
((triple8) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple8) -> rule7))]
("Dave" "is" "nice" "-")
((triple8) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
True
4
proof
[(((triple9 ((triple8) -> rule7)) -> rule4) OR ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4))]
("Dave" "is" "blue" "+")
((triple9 ((triple8) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple8) -> (rule8 % int3)) ((triple8) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not blue.
False
4
inv-proof
[(((triple9 ((triple8) -> rule7)) -> rule4) OR ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4))]
("Dave" "is" "blue" "-")
((triple9 ((triple8) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple8) -> (rule8 % int3)) ((triple8) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is furry.
True
6
proof
[(((triple9 ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((triple9 ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((((triple8) -> rule8) ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((((triple8) -> rule8) ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2))]
("Dave" "is" "furry" "+")
((triple9 ((triple9 ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple9 ((((triple8) -> (rule8 % int4)) ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple8) -> (rule8 % int4)) ((triple9 ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is not furry.
False
6
inv-proof
[(((triple9 ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((triple9 ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((((triple8) -> rule8) ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((((triple8) -> rule8) ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2))]
("Dave" "is" "furry" "-")
((triple9 ((triple9 ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple9 ((((triple8) -> (rule8 % int4)) ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple8) -> (rule8 % int4)) ((triple9 ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple6 triple4) -> rule4) OR ((triple6 ((triple1) -> rule7)) -> rule4) OR ((triple6 ((triple3) -> rule6)) -> rule4) OR ((triple6 ((triple5 triple7) -> rule5)) -> rule4) OR ((((triple1) -> rule8) triple4) -> rule4) OR ((((triple1) -> rule8) ((triple1) -> rule7)) -> rule4) OR ((((triple1) -> rule8) ((triple3) -> rule6)) -> rule4) OR ((((triple1) -> rule8) ((triple5 triple7) -> rule5)) -> rule4) OR ((triple6 ((((triple3) -> rule3) triple7) -> rule5)) -> rule4) OR ((((triple1) -> rule8) ((((triple3) -> rule3) triple7) -> rule5)) -> rule4))] Anne is furry.[(triple3 OR ((triple6 triple2) -> rule2) OR ((triple6 ((triple6 triple4) -> rule4)) -> rule2) OR ((((triple1) -> rule8) triple2) -> rule2) OR ((((triple1) -> rule8) ((triple6 triple4) -> rule4)) -> rule2) OR ((triple6 ((triple6 ((triple1) -> rule7)) -> rule4)) -> rule2) OR ((triple6 ((triple6 ((triple5 triple7) -> rule5)) -> rule4)) -> rule2) OR ((triple6 ((((triple1) -> rule8) triple4) -> rule4)) -> rule2) OR ((triple6 ((((triple1) -> rule8) ((triple1) -> rule7)) -> rule4)) -> rule2) OR ((triple6 ((((triple1) -> rule8) ((triple5 triple7) -> rule5)) -> rule4)) -> rule2) OR ((((triple1) -> rule8) ((triple6 ((triple1) -> rule7)) -> rule4)) -> rule2) OR ((((triple1) -> rule8) ((triple6 ((triple5 triple7) -> rule5)) -> rule4)) -> rule2) OR ((((triple1) -> rule8) ((((triple1) -> rule8) triple4) -> rule4)) -> rule2) OR ((((triple1) -> rule8) ((((triple1) -> rule8) ((triple1) -> rule7)) -> rule4)) -> rule2) OR ((((triple1) -> rule8) ((((triple1) -> rule8) ((triple5 triple7) -> rule5)) -> rule4)) -> rule2))] Anne is nice.[(triple4 OR ((triple1) -> rule7) OR ((triple2) -> rule1) OR ((triple3) -> rule6) OR ((triple5 triple7) -> rule5) OR ((((triple6 triple2) -> rule2)) -> rule6) OR ((((triple3) -> rule3) triple7) -> rule5) OR ((((((triple1) -> rule8) triple2) -> rule2)) -> rule6) OR ((((((triple6 triple2) -> rule2)) -> rule3) triple7) -> rule5) OR ((((((((triple1) -> rule8) triple2) -> rule2)) -> rule3) triple7) -> rule5))] Anne is quiet.[(triple5 OR ((triple3) -> rule3) OR ((((triple6 triple2) -> rule2)) -> rule3) OR ((((triple6 ((triple6 triple4) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule8) triple2) -> rule2)) -> rule3) OR ((((((triple1) -> rule8) ((triple6 triple4) -> rule4)) -> rule2)) -> rule3) OR ((((triple6 ((triple6 ((triple1) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((triple6 ((((triple1) -> rule8) triple4) -> rule4)) -> rule2)) -> rule3) OR ((((triple6 ((((triple1) -> rule8) ((triple1) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule8) ((triple6 ((triple1) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule8) ((((triple1) -> rule8) triple4) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule8) ((((triple1) -> rule8) ((triple1) -> rule7)) -> rule4)) -> rule2)) -> rule3))] Anne is round.[(triple6 OR ((triple1) -> rule8))] Anne is white.[(triple7)] Dave is big.[(triple8)] Dave is round.[(triple9 OR ((triple8) -> rule8))] Dave is white.[(triple10)] @1: Dave is nice.[(((triple8) -> rule7))] @2: Dave is blue.[(((triple9 ((triple8) -> rule7)) -> rule4) OR ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4))] @3: Dave is furry.[(((triple9 ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((triple9 ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((((triple8) -> rule8) ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((((triple8) -> rule8) ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2))] @4: Dave is quiet.[(((((triple9 ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((triple9 ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8) ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8) ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple6 triple4) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple6 ((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple6 ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple6 ((triple5 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple1) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple1) -> (rule8 % int3)) ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple1) -> (rule8 % int3)) ((triple5 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((((triple3) -> (rule3 % int3)) triple7) -> (rule5 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((triple1) -> (rule8 % int4)) ((((triple3) -> (rule3 % int3)) triple7) -> (rule5 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple6 triple2) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple6 ((triple6 triple4) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1) -> (rule8 % int2)) triple2) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple6 triple4) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((triple6 ((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple6 ((triple6 ((triple5 triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple6 ((((triple1) -> (rule8 % int3)) triple4) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((((triple1) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple6 ((((triple1) -> (rule8 % int4)) ((triple5 triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule8 % int4)) ((triple6 ((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule8 % int4)) ((triple6 ((triple5 triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule8 % int3)) ((((triple1) -> (rule8 % int3)) triple4) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule8 % int4)) ((triple5 triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple1) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple3) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple5 triple7) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple6 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple3) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((((triple1) -> (rule8 % int3)) triple2) -> (rule2 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple6 triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((((triple1) -> (rule8 % int4)) triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
((triple3) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple6 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple6 ((triple6 triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple1) -> (rule8 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule8 % int4)) ((triple6 triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple6 ((triple6 ((triple1) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple6 ((((triple1) -> (rule8 % int4)) triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple6 ((((triple1) -> (rule8 % int5)) ((triple1) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule8 % int5)) ((triple6 ((triple1) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule8 % int4)) triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple1) -> (rule8 % int5)) ((((triple1) -> (rule8 % int5)) ((triple1) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple1) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
((triple8) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
((triple8) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple9 ((triple8) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple8) -> (rule8 % int3)) ((triple8) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((triple9 ((triple9 ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple9 ((((triple8) -> (rule8 % int4)) ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple8) -> (rule8 % int4)) ((triple9 ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple9 ((triple9 ((triple8) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple9 ((((triple8) -> (rule8 % int5)) ((triple8) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple9 ((triple8) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) ((triple8) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5