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