Anne is furry. Anne is green. Anne is white. Charlie is blue. Charlie is furry. Gary is blue. Gary is cold. Gary is quiet. Gary is white. Harry is green. If someone is furry then they are big. If someone is green and white then they are blue. Green people are white. White, green people are big. If Gary is furry then Gary is quiet. All quiet people are white. If someone is white then they are green. If someone is blue then they are furry.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is furry then they are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If someone is green and white then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
White, green people are big.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If Gary is furry then Gary is quiet.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "quiet" "+"))
All quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is white then they are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Charlie is blue.
True
1
proof
[(triple4)]
("Charlie" "is" "blue" "+")
triple4
Anne is not furry.
False
1
inv-proof
[(triple1 OR ((((triple2 triple3) -> rule2)) -> rule8) OR ((((triple2 ((triple2) -> rule3)) -> rule2)) -> rule8) OR ((((((triple3) -> rule7) triple3) -> rule2)) -> rule8) OR ((((((triple3) -> rule7) ((triple2) -> rule3)) -> rule2)) -> rule8))]
("Anne" "is" "furry" "-")
triple1
((((triple2 triple3) -> (rule2 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple2 ((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple3) -> (rule7 % int4)) ((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Anne is furry.[(triple1 OR ((((triple2 triple3) -> rule2)) -> rule8) OR ((((triple2 ((triple2) -> rule3)) -> rule2)) -> rule8) OR ((((((triple3) -> rule7) triple3) -> rule2)) -> rule8) OR ((((((triple3) -> rule7) ((triple2) -> rule3)) -> rule2)) -> rule8))] Anne is green.[(triple2 OR ((triple3) -> rule7))] Anne is white.[(triple3 OR ((triple2) -> rule3))] Charlie is blue.[(triple4)] Charlie is furry.[(triple5 OR ((triple4) -> rule8))] Gary is blue.[(triple6 OR ((((triple9) -> rule7) triple9) -> rule2) OR ((((triple9) -> rule7) ((triple8) -> rule6)) -> rule2) OR ((((((triple8) -> rule6)) -> rule7) triple9) -> rule2) OR ((((((triple8) -> rule6)) -> rule7) ((triple8) -> rule6)) -> rule2))] Gary is cold.[(triple7)] Gary is quiet.[(triple8 OR ((((triple6) -> rule8)) -> rule5) OR ((((((((triple9) -> rule7) triple9) -> rule2)) -> rule8)) -> rule5))] Gary is white.[(triple9 OR ((triple8) -> rule6) OR ((((((triple6) -> rule8)) -> rule5)) -> rule6))] Harry is green.[(triple10)] @1: Anne is big.[(((triple1) -> rule1) OR ((triple3 triple2) -> rule4) OR ((triple3 ((triple3) -> rule7)) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule4) OR ((((triple2) -> rule3) ((triple3) -> rule7)) -> rule4) OR ((((((triple2 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple2 ((triple2) -> rule3)) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple3) -> rule7) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple3) -> rule7) ((triple2) -> rule3)) -> rule2)) -> rule8)) -> rule1))] Anne is blue.[(((triple2 triple3) -> rule2) OR ((triple2 ((triple2) -> rule3)) -> rule2) OR ((((triple3) -> rule7) triple3) -> rule2) OR ((((triple3) -> rule7) ((triple2) -> rule3)) -> rule2))] Charlie is big.[(((triple5) -> rule1) OR ((((triple4) -> rule8)) -> rule1))] Gary is furry.[(((triple6) -> rule8) OR ((((((triple9) -> rule7) triple9) -> rule2)) -> rule8) OR ((((((triple9) -> rule7) ((triple8) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple8) -> rule6)) -> rule7) triple9) -> rule2)) -> rule8) OR ((((((((triple8) -> rule6)) -> rule7) ((triple8) -> rule6)) -> rule2)) -> rule8))] Gary is green.[(((triple9) -> rule7) OR ((((triple8) -> rule6)) -> rule7) OR ((((((((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule7))] Harry is white.[(((triple10) -> rule3))] @2: Gary is big.[(((((triple6) -> rule8)) -> rule1) OR ((triple9 ((triple9) -> rule7)) -> rule4) OR ((((triple8) -> rule6) ((triple9) -> rule7)) -> rule4) OR ((triple9 ((((triple8) -> rule6)) -> rule7)) -> rule4) OR ((((triple8) -> rule6) ((((triple8) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple9) -> rule7) triple9) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple9) -> rule7) ((triple8) -> rule6)) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple6) -> rule8)) -> rule5)) -> rule6) ((triple9) -> rule7)) -> rule4) OR ((((((((triple6) -> rule8)) -> rule5)) -> rule6) ((((triple8) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple8) -> rule6)) -> rule7) triple9) -> rule2)) -> rule8)) -> rule1) OR ((triple9 ((((((((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple8) -> rule6)) -> rule7) ((triple8) -> rule6)) -> rule2)) -> rule8)) -> rule1) OR ((((triple8) -> rule6) ((((((((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule8)) -> rule5)) -> rule6) ((((((((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule7)) -> rule4))] Harry is big.[(((((triple10) -> rule3) triple10) -> rule4) OR ((((((triple10 ((triple10) -> rule3)) -> rule2)) -> rule8)) -> rule1))] Harry is blue.[(((triple10 ((triple10) -> rule3)) -> rule2))] @3: Harry is furry.[(((((triple10 ((triple10) -> rule3)) -> rule2)) -> rule8))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((((triple2 triple3) -> (rule2 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple2 ((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple3) -> (rule7 % int4)) ((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple3) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple3
((triple2) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
((triple4) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple6
((((triple9) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple9) -> (rule7 % int3)) ((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple8) -> (rule6 % int3))) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple8) -> (rule6 % int3))) -> (rule7 % int2)) ((triple8) -> (rule6 % int3))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((((triple9) -> (rule7 % int4)) triple9) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
triple9
((triple8) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((((triple6) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple3 triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple3 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple2) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple2) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple2 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple2 ((triple2) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple3) -> (rule7 % int5)) ((triple2) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple2 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple3) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((triple5) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple4) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((triple6) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((((triple9) -> (rule7 % int3)) triple9) -> (rule2 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple9) -> (rule7 % int4)) ((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple8) -> (rule6 % int4))) -> (rule7 % int3)) triple9) -> (rule2 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple8) -> (rule6 % int4))) -> (rule7 % int3)) ((triple8) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
((triple9) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((((triple6) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((triple10) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple9 ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple8) -> (rule6 % int3)) ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple9 ((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((((triple9) -> (rule7 % int4)) triple9) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule7 % int5)) ((triple8) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple6) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple6) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((((triple8) -> (rule6 % int5))) -> (rule7 % int4)) triple9) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((triple9 ((((((((triple6) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((((triple8) -> (rule6 % int5))) -> (rule7 % int4)) ((triple8) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((triple8) -> (rule6 % int5)) ((((((((triple6) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple6) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((((((triple6) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
((((triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
((triple10 ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((((triple10 ((triple10) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3