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