Dave is red. Dave is round. Erin is blue. Erin is furry. Erin is quiet. Erin is round. Gary is quiet. All red people are rough. If someone is blue and quiet then they are furry. If Erin is furry then Erin is round. Blue, round people are rough. All furry, round people are red. All red, round people are big. If someone is red and quiet then they are big. If someone is red then they are blue.
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and quiet then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Erin is furry then Erin is round.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "round" "+"))
Blue, round people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All furry, round people are red.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All red, round people are big.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and quiet then they are big.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Erin is blue.
True
1
proof
[(triple3 OR ((((triple4 triple6) -> rule5)) -> rule8) OR ((((triple4 ((triple4) -> rule3)) -> rule5)) -> rule8))]
("Erin" "is" "blue" "+")
triple3
((((triple4 triple6) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Dave is not round.
False
1
inv-proof
[(triple2)]
("Dave" "is" "round" "-")
triple2
Dave is big.
True
3
proof
[(((triple1 triple2) -> rule6))]
("Dave" "is" "big" "+")
((triple1 triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple1) -> rule8))]
("Dave" "is" "blue" "-")
((triple1) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Erin is big.
True
5
proof
[(((((triple4 triple6) -> rule5) triple5) -> rule7) OR ((((triple4 triple6) -> rule5) triple6) -> rule6) OR ((((triple4 triple6) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) triple5) -> rule7) OR ((((triple4 ((triple4) -> rule3)) -> rule5) triple6) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) triple6) -> rule6) OR ((((triple4 triple6) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple5) -> rule7) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6))]
("Erin" "is" "big" "+")
((((triple4 triple6) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple4 triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple4 triple6) -> (rule5 % int3)) ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple3 triple5) -> (rule2 % int3)) triple6) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple3 triple5) -> (rule2 % int3)) triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple4 triple6) -> (rule5 % int4)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple3 triple5) -> (rule2 % int4)) triple6) -> (rule5 % int3)) ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((triple4) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple3 triple5) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) triple6) -> (rule5 % int3)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is not big.
False
5
inv-proof
[(((((triple4 triple6) -> rule5) triple5) -> rule7) OR ((((triple4 triple6) -> rule5) triple6) -> rule6) OR ((((triple4 triple6) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) triple5) -> rule7) OR ((((triple4 ((triple4) -> rule3)) -> rule5) triple6) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) triple6) -> rule6) OR ((((triple4 triple6) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple5) -> rule7) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6))]
("Erin" "is" "big" "-")
((((triple4 triple6) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple4 triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple4 triple6) -> (rule5 % int3)) ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple3 triple5) -> (rule2 % int3)) triple6) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple3 triple5) -> (rule2 % int3)) triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple4 triple6) -> (rule5 % int4)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple3 triple5) -> (rule2 % int4)) triple6) -> (rule5 % int3)) ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((triple4) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple3 triple5) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) triple6) -> (rule5 % int3)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Gary is not furry.
Unknown
inv-rconc
[@3: Gary is furry.[CWA. Example of deepest failure = (rule2 <- rule8 <- rule5 <- FAIL)]]
("Gary" "is" "furry" "-")
Dave is furry.
Unknown
rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Dave is red.[(triple1)] Dave is round.[(triple2)] Erin is blue.[(triple3 OR ((((triple4 triple6) -> rule5)) -> rule8) OR ((((triple4 ((triple4) -> rule3)) -> rule5)) -> rule8))] Erin is furry.[(triple4 OR ((triple3 triple5) -> rule2))] Erin is quiet.[(triple5)] Erin is round.[(triple6 OR ((triple4) -> rule3) OR ((((triple3 triple5) -> rule2)) -> rule3))] Gary is quiet.[(triple7)] @1: Dave is big.[(((triple1 triple2) -> rule6))] Dave is blue.[(((triple1) -> rule8))] Dave is rough.[(((triple1) -> rule1) OR ((((triple1) -> rule8) triple2) -> rule4))] Erin is red.[(((triple4 triple6) -> rule5) OR ((triple4 ((triple4) -> rule3)) -> rule5) OR ((((triple3 triple5) -> rule2) triple6) -> rule5) OR ((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) OR ((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) OR ((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5))] Erin is rough.[(((triple3 triple6) -> rule4) OR ((((triple4 triple6) -> rule5)) -> rule1) OR ((triple3 ((triple4) -> rule3)) -> rule4) OR ((((triple4 ((triple4) -> rule3)) -> rule5)) -> rule1) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5)) -> rule1) OR ((triple3 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule5)) -> rule8) triple6) -> rule4) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 triple6) -> rule5)) -> rule8) ((triple4) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule5)) -> rule8) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 ((triple4) -> rule3)) -> rule5)) -> rule8) triple6) -> rule4) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 ((triple4) -> rule3)) -> rule5)) -> rule8) ((triple4) -> rule3)) -> rule4) OR ((((((triple4 ((triple4) -> rule3)) -> rule5)) -> rule8) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4))] @2: Erin is big.[(((((triple4 triple6) -> rule5) triple5) -> rule7) OR ((((triple4 triple6) -> rule5) triple6) -> rule6) OR ((((triple4 triple6) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) triple5) -> rule7) OR ((((triple4 ((triple4) -> rule3)) -> rule5) triple6) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) triple6) -> rule6) OR ((((triple4 triple6) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple5) -> rule7) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6))]
Dave is red.
("Dave" "is" "red" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
((((triple4 triple6) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
((triple3 triple5) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
((triple4) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple3 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
((triple1 triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple1) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple1) -> (rule8 % int2)) triple2) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((triple4 triple6) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple4 ((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple3 triple5) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple3 triple5) -> (rule2 % int3)) ((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple4 ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple3 triple5) -> (rule2 % int3)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((triple3 triple6) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple4 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((triple3 ((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple3 triple5) -> (rule2 % int3)) triple6) -> (rule5 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple3 ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple4 triple6) -> (rule5 % int3))) -> (rule8 % int2)) triple6) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 triple6) -> (rule5 % int4))) -> (rule8 % int3)) ((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple4 triple6) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple6) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple4) -> (rule3 % int4))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple4 ((triple4) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple3 triple5) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
((((triple4 triple6) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple4 triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple4 triple6) -> (rule5 % int3)) ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple3 triple5) -> (rule2 % int3)) triple6) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple3 triple5) -> (rule2 % int3)) triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple4 triple6) -> (rule5 % int4)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple3 triple5) -> (rule2 % int4)) triple6) -> (rule5 % int3)) ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((triple4) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple3 triple5) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) triple6) -> (rule5 % int3)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule2 % int4)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((((triple3 triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4