Anne is big. Anne is furry. Anne is kind. Anne is red. Anne is round. Bob is big. Charlie is big. Charlie is blue. Charlie is kind. Charlie is red. Charlie is round. Fiona is big. Fiona is furry. Fiona is red. All white things are furry. White things are furry. If Anne is white and Anne is kind then Anne is blue. If Fiona is blue then Fiona is big. Round things are big. Blue things are red. All white, red things are kind. If something is furry and big then it is blue. If something is big then it is white.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All white things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
White things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If Anne is white and Anne is kind then Anne is blue.
((("Anne" "is" "white" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "blue" "+"))
If Fiona is blue then Fiona is big.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "big" "+"))
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
All white, red things are kind.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is furry and big then it is blue.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is big then it is white.
((("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
Anne is big.
True
1
proof
[(triple1 OR ((triple5) -> rule5))]
("Anne" "is" "big" "+")
triple1
((triple5) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not red.
False
1
inv-proof
[(triple4 OR ((((triple2 triple1) -> rule8)) -> rule6) OR ((((triple2 ((triple5) -> rule5)) -> rule8)) -> rule6) OR ((((((triple1) -> rule9) triple3) -> rule3)) -> rule6) OR ((((((((triple1) -> rule9)) -> rule1) triple1) -> rule8)) -> rule6) OR ((((((((triple1) -> rule9)) -> rule2) triple1) -> rule8)) -> rule6) OR ((((((((triple5) -> rule5)) -> rule9) triple3) -> rule3)) -> rule6) OR ((((((((triple1) -> rule9)) -> rule1) ((triple5) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple1) -> rule9)) -> rule2) ((triple5) -> rule5)) -> rule8)) -> rule6) OR ((((((((((triple5) -> rule5)) -> rule9)) -> rule1) triple1) -> rule8)) -> rule6) OR ((((((((((triple5) -> rule5)) -> rule9)) -> rule2) triple1) -> rule8)) -> rule6) OR ((((((((((triple5) -> rule5)) -> rule9)) -> rule1) ((triple5) -> rule5)) -> rule8)) -> rule6) OR ((((((((((triple5) -> rule5)) -> rule9)) -> rule2) ((triple5) -> rule5)) -> rule8)) -> rule6))]
("Anne" "is" "red" "-")
triple4
((((triple2 triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple2 ((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple1) -> (rule9 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((((triple1) -> (rule9 % int4))) -> (rule1 % int3)) triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple1) -> (rule9 % int4))) -> (rule2 % int3)) triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule9 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple1) -> (rule9 % int5))) -> (rule1 % int4)) ((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((triple1) -> (rule9 % int5))) -> (rule2 % int4)) ((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) ((triple5) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Fiona is white.
True
2
proof
[(((triple12) -> rule9))]
("Fiona" "is" "white" "+")
((triple12) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Bob is not white.
False
2
inv-proof
[(((triple6) -> rule9))]
("Bob" "is" "white" "-")
((triple6) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Charlie is furry.
True
3
proof
[(((((triple7) -> rule9)) -> rule1) OR ((((triple7) -> rule9)) -> rule2) OR ((((((triple11) -> rule5)) -> rule9)) -> rule1) OR ((((((triple11) -> rule5)) -> rule9)) -> rule2))]
("Charlie" "is" "furry" "+")
((((triple7) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple7) -> (rule9 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((((triple11) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple11) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not furry.
False
3
inv-proof
[(((((triple7) -> rule9)) -> rule1) OR ((((triple7) -> rule9)) -> rule2) OR ((((((triple11) -> rule5)) -> rule9)) -> rule1) OR ((((((triple11) -> rule5)) -> rule9)) -> rule2))]
("Charlie" "is" "furry" "-")
((((triple7) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple7) -> (rule9 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((((triple11) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple11) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Bob is blue.
True
5
proof
[(((((((triple6) -> rule9)) -> rule1) triple6) -> rule8) OR ((((((triple6) -> rule9)) -> rule2) triple6) -> rule8))]
("Bob" "is" "blue" "+")
((((((triple6) -> (rule9 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple6) -> (rule9 % int3))) -> (rule2 % int2)) triple6) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is not blue.
False
5
inv-proof
[(((((((triple6) -> rule9)) -> rule1) triple6) -> rule8) OR ((((((triple6) -> rule9)) -> rule2) triple6) -> rule8))]
("Bob" "is" "blue" "-")
((((((triple6) -> (rule9 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple6) -> (rule9 % int3))) -> (rule2 % int2)) triple6) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
True
6
proof
[(((((((((triple6) -> rule9)) -> rule1) triple6) -> rule8)) -> rule6) OR ((((((((triple6) -> rule9)) -> rule2) triple6) -> rule8)) -> rule6))]
("Bob" "is" "red" "+")
((((((((triple6) -> (rule9 % int4))) -> (rule1 % int3)) triple6) -> (rule8 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple6) -> (rule9 % int4))) -> (rule2 % int3)) triple6) -> (rule8 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is not red.
False
6
inv-proof
[(((((((((triple6) -> rule9)) -> rule1) triple6) -> rule8)) -> rule6) OR ((((((((triple6) -> rule9)) -> rule2) triple6) -> rule8)) -> rule6))]
("Bob" "is" "red" "-")
((((((((triple6) -> (rule9 % int4))) -> (rule1 % int3)) triple6) -> (rule8 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple6) -> (rule9 % int4))) -> (rule2 % int3)) triple6) -> (rule8 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
True
9
proof
[(((((triple6) -> rule9) ((((((((triple6) -> rule9)) -> rule1) triple6) -> rule8)) -> rule6)) -> rule7) OR ((((triple6) -> rule9) ((((((((triple6) -> rule9)) -> rule2) triple6) -> rule8)) -> rule6)) -> rule7))]
("Bob" "is" "kind" "+")
((((triple6) -> (rule9 % int5)) ((((((((triple6) -> (rule9 % int5))) -> (rule1 % int4)) triple6) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((triple6) -> (rule9 % int5)) ((((((((triple6) -> (rule9 % int5))) -> (rule2 % int4)) triple6) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is not kind.
False
9
inv-proof
[(((((triple6) -> rule9) ((((((((triple6) -> rule9)) -> rule1) triple6) -> rule8)) -> rule6)) -> rule7) OR ((((triple6) -> rule9) ((((((((triple6) -> rule9)) -> rule2) triple6) -> rule8)) -> rule6)) -> rule7))]
("Bob" "is" "kind" "-")
((((triple6) -> (rule9 % int5)) ((((((((triple6) -> (rule9 % int5))) -> (rule1 % int4)) triple6) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((triple6) -> (rule9 % int5)) ((((((((triple6) -> (rule9 % int5))) -> (rule2 % int4)) triple6) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is big.[(triple1 OR ((triple5) -> rule5))] Anne is furry.[(triple2 OR ((((triple1) -> rule9)) -> rule1) OR ((((triple1) -> rule9)) -> rule2) OR ((((((triple5) -> rule5)) -> rule9)) -> rule1) OR ((((((triple5) -> rule5)) -> rule9)) -> rule2))] Anne is kind.[(triple3 OR ((((triple1) -> rule9) triple4) -> rule7) OR ((((((triple5) -> rule5)) -> rule9) triple4) -> rule7) OR ((((triple1) -> rule9) ((((triple2 triple1) -> rule8)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5)) -> rule9) ((((triple2 triple1) -> rule8)) -> rule6)) -> rule7) OR ((((triple1) -> rule9) ((((triple2 ((triple5) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5)) -> rule9) ((((triple2 ((triple5) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((triple1) -> rule9) ((((((((triple1) -> rule9)) -> rule1) triple1) -> rule8)) -> rule6)) -> rule7) OR ((((triple1) -> rule9) ((((((((triple1) -> rule9)) -> rule2) triple1) -> rule8)) -> rule6)) -> rule7) OR ((((triple1) -> rule9) ((((((((triple1) -> rule9)) -> rule1) ((triple5) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((triple1) -> rule9) ((((((((triple1) -> rule9)) -> rule2) ((triple5) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5)) -> rule9) ((((((((triple1) -> rule9)) -> rule1) triple1) -> rule8)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5)) -> rule9) ((((((((triple1) -> rule9)) -> rule2) triple1) -> rule8)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5)) -> rule9) ((((((((triple1) -> rule9)) -> rule1) ((triple5) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5)) -> rule9) ((((((((triple1) -> rule9)) -> rule2) ((triple5) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((triple1) -> rule9) ((((((((((triple5) -> rule5)) -> rule9)) -> rule1) triple1) -> rule8)) -> rule6)) -> rule7) OR ((((triple1) -> rule9) ((((((((((triple5) -> rule5)) -> rule9)) -> rule2) triple1) -> rule8)) -> rule6)) -> rule7) OR ((((triple1) -> rule9) ((((((((((triple5) -> rule5)) -> rule9)) -> rule1) ((triple5) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((triple1) -> rule9) ((((((((((triple5) -> rule5)) -> rule9)) -> rule2) ((triple5) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5)) -> rule9) ((((((((((triple5) -> rule5)) -> rule9)) -> rule1) triple1) -> rule8)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5)) -> rule9) ((((((((((triple5) -> rule5)) -> rule9)) -> rule2) triple1) -> rule8)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5)) -> rule9) ((((((((((triple5) -> rule5)) -> rule9)) -> rule1) ((triple5) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5)) -> rule9) ((((((((((triple5) -> rule5)) -> rule9)) -> rule2) ((triple5) -> rule5)) -> rule8)) -> rule6)) -> rule7))] Anne is red.[(triple4 OR ((((triple2 triple1) -> rule8)) -> rule6) OR ((((triple2 ((triple5) -> rule5)) -> rule8)) -> rule6) OR ((((((triple1) -> rule9) triple3) -> rule3)) -> rule6) OR ((((((((triple1) -> rule9)) -> rule1) triple1) -> rule8)) -> rule6) OR ((((((((triple1) -> rule9)) -> rule2) triple1) -> rule8)) -> rule6) OR ((((((((triple5) -> rule5)) -> rule9) triple3) -> rule3)) -> rule6) OR ((((((((triple1) -> rule9)) -> rule1) ((triple5) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple1) -> rule9)) -> rule2) ((triple5) -> rule5)) -> rule8)) -> rule6) OR ((((((((((triple5) -> rule5)) -> rule9)) -> rule1) triple1) -> rule8)) -> rule6) OR ((((((((((triple5) -> rule5)) -> rule9)) -> rule2) triple1) -> rule8)) -> rule6) OR ((((((((((triple5) -> rule5)) -> rule9)) -> rule1) ((triple5) -> rule5)) -> rule8)) -> rule6) OR ((((((((((triple5) -> rule5)) -> rule9)) -> rule2) ((triple5) -> rule5)) -> rule8)) -> rule6))] Anne is round.[(triple5)] Bob is big.[(triple6)] Charlie is big.[(triple7 OR ((triple11) -> rule5))] Charlie is blue.[(triple8 OR ((((((triple7) -> rule9)) -> rule1) triple7) -> rule8) OR ((((((triple7) -> rule9)) -> rule2) triple7) -> rule8) OR ((((((triple7) -> rule9)) -> rule1) ((triple11) -> rule5)) -> rule8) OR ((((((triple7) -> rule9)) -> rule2) ((triple11) -> rule5)) -> rule8) OR ((((((((triple11) -> rule5)) -> rule9)) -> rule1) triple7) -> rule8) OR ((((((((triple11) -> rule5)) -> rule9)) -> rule2) triple7) -> rule8) OR ((((((((triple11) -> rule5)) -> rule9)) -> rule1) ((triple11) -> rule5)) -> rule8) OR ((((((((triple11) -> rule5)) -> rule9)) -> rule2) ((triple11) -> rule5)) -> rule8))] Charlie is kind.[(triple9 OR ((((triple7) -> rule9) triple10) -> rule7) OR ((((triple7) -> rule9) ((triple8) -> rule6)) -> rule7) OR ((((((triple11) -> rule5)) -> rule9) triple10) -> rule7) OR ((((((triple11) -> rule5)) -> rule9) ((triple8) -> rule6)) -> rule7) OR ((((triple7) -> rule9) ((((((((triple7) -> rule9)) -> rule1) triple7) -> rule8)) -> rule6)) -> rule7) OR ((((triple7) -> rule9) ((((((((triple7) -> rule9)) -> rule2) triple7) -> rule8)) -> rule6)) -> rule7) OR ((((triple7) -> rule9) ((((((((triple7) -> rule9)) -> rule1) ((triple11) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((triple7) -> rule9) ((((((((triple7) -> rule9)) -> rule2) ((triple11) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((((triple11) -> rule5)) -> rule9) ((((((((triple7) -> rule9)) -> rule1) triple7) -> rule8)) -> rule6)) -> rule7) OR ((((((triple11) -> rule5)) -> rule9) ((((((((triple7) -> rule9)) -> rule2) triple7) -> rule8)) -> rule6)) -> rule7) OR ((((((triple11) -> rule5)) -> rule9) ((((((((triple7) -> rule9)) -> rule1) ((triple11) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((((triple11) -> rule5)) -> rule9) ((((((((triple7) -> rule9)) -> rule2) ((triple11) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((triple7) -> rule9) ((((((((((triple11) -> rule5)) -> rule9)) -> rule1) triple7) -> rule8)) -> rule6)) -> rule7) OR ((((triple7) -> rule9) ((((((((((triple11) -> rule5)) -> rule9)) -> rule2) triple7) -> rule8)) -> rule6)) -> rule7) OR ((((triple7) -> rule9) ((((((((((triple11) -> rule5)) -> rule9)) -> rule1) ((triple11) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((triple7) -> rule9) ((((((((((triple11) -> rule5)) -> rule9)) -> rule2) ((triple11) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((((triple11) -> rule5)) -> rule9) ((((((((((triple11) -> rule5)) -> rule9)) -> rule1) triple7) -> rule8)) -> rule6)) -> rule7) OR ((((((triple11) -> rule5)) -> rule9) ((((((((((triple11) -> rule5)) -> rule9)) -> rule2) triple7) -> rule8)) -> rule6)) -> rule7) OR ((((((triple11) -> rule5)) -> rule9) ((((((((((triple11) -> rule5)) -> rule9)) -> rule1) ((triple11) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((((triple11) -> rule5)) -> rule9) ((((((((((triple11) -> rule5)) -> rule9)) -> rule2) ((triple11) -> rule5)) -> rule8)) -> rule6)) -> rule7))] Charlie is red.[(triple10 OR ((triple8) -> rule6) OR ((((((((triple7) -> rule9)) -> rule1) triple7) -> rule8)) -> rule6) OR ((((((((triple7) -> rule9)) -> rule2) triple7) -> rule8)) -> rule6) OR ((((((((triple7) -> rule9)) -> rule1) ((triple11) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple7) -> rule9)) -> rule2) ((triple11) -> rule5)) -> rule8)) -> rule6) OR ((((((((((triple11) -> rule5)) -> rule9)) -> rule1) triple7) -> rule8)) -> rule6) OR ((((((((((triple11) -> rule5)) -> rule9)) -> rule2) triple7) -> rule8)) -> rule6) OR ((((((((((triple11) -> rule5)) -> rule9)) -> rule1) ((triple11) -> rule5)) -> rule8)) -> rule6) OR ((((((((((triple11) -> rule5)) -> rule9)) -> rule2) ((triple11) -> rule5)) -> rule8)) -> rule6))] Charlie is round.[(triple11)] Fiona is big.[(triple12)] Fiona is furry.[(triple13 OR ((((triple12) -> rule9)) -> rule1) OR ((((triple12) -> rule9)) -> rule2))] Fiona is red.[(triple14 OR ((((triple13 triple12) -> rule8)) -> rule6) OR ((((((((triple12) -> rule9)) -> rule1) triple12) -> rule8)) -> rule6) OR ((((((((triple12) -> rule9)) -> rule2) triple12) -> rule8)) -> rule6))] @1: Anne is blue.[(((triple2 triple1) -> rule8) OR ((triple2 ((triple5) -> rule5)) -> rule8) OR ((((triple1) -> rule9) triple3) -> rule3) OR ((((((triple1) -> rule9)) -> rule1) triple1) -> rule8) OR ((((((triple1) -> rule9)) -> rule2) triple1) -> rule8) OR ((((((triple5) -> rule5)) -> rule9) triple3) -> rule3) OR ((((triple1) -> rule9) ((((triple1) -> rule9) triple4) -> rule7)) -> rule3) OR ((((((triple1) -> rule9)) -> rule1) ((triple5) -> rule5)) -> rule8) OR ((((((triple1) -> rule9)) -> rule2) ((triple5) -> rule5)) -> rule8) OR ((((((triple5) -> rule5)) -> rule9) ((((triple1) -> rule9) triple4) -> rule7)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule9)) -> rule1) triple1) -> rule8) OR ((((((((triple5) -> rule5)) -> rule9)) -> rule2) triple1) -> rule8) OR ((((triple1) -> rule9) ((((((triple5) -> rule5)) -> rule9) triple4) -> rule7)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule9)) -> rule1) ((triple5) -> rule5)) -> rule8) OR ((((((((triple5) -> rule5)) -> rule9)) -> rule2) ((triple5) -> rule5)) -> rule8) OR ((((((triple5) -> rule5)) -> rule9) ((((((triple5) -> rule5)) -> rule9) triple4) -> rule7)) -> rule3))] Anne is white.[(((triple1) -> rule9) OR ((((triple5) -> rule5)) -> rule9))] Bob is white.[(((triple6) -> rule9))] Charlie is white.[(((triple7) -> rule9) OR ((((triple11) -> rule5)) -> rule9))] Fiona is blue.[(((triple13 triple12) -> rule8) OR ((((((triple12) -> rule9)) -> rule1) triple12) -> rule8) OR ((((((triple12) -> rule9)) -> rule2) triple12) -> rule8))] Fiona is white.[(((triple12) -> rule9))] @2: Bob is furry.[(((((triple6) -> rule9)) -> rule1) OR ((((triple6) -> rule9)) -> rule2))] Charlie is furry.[(((((triple7) -> rule9)) -> rule1) OR ((((triple7) -> rule9)) -> rule2) OR ((((((triple11) -> rule5)) -> rule9)) -> rule1) OR ((((((triple11) -> rule5)) -> rule9)) -> rule2))] Fiona is kind.[(((((triple12) -> rule9) triple14) -> rule7) OR ((((triple12) -> rule9) ((((triple13 triple12) -> rule8)) -> rule6)) -> rule7) OR ((((triple12) -> rule9) ((((((((triple12) -> rule9)) -> rule1) triple12) -> rule8)) -> rule6)) -> rule7) OR ((((triple12) -> rule9) ((((((((triple12) -> rule9)) -> rule2) triple12) -> rule8)) -> rule6)) -> rule7))] @3: Bob is blue.[(((((((triple6) -> rule9)) -> rule1) triple6) -> rule8) OR ((((((triple6) -> rule9)) -> rule2) triple6) -> rule8))] @4: Bob is red.[(((((((((triple6) -> rule9)) -> rule1) triple6) -> rule8)) -> rule6) OR ((((((((triple6) -> rule9)) -> rule2) triple6) -> rule8)) -> rule6))] @5: Bob is kind.[(((((triple6) -> rule9) ((((((((triple6) -> rule9)) -> rule1) triple6) -> rule8)) -> rule6)) -> rule7) OR ((((triple6) -> rule9) ((((((((triple6) -> rule9)) -> rule2) triple6) -> rule8)) -> rule6)) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple5) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((((triple1) -> (rule9 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple1) -> (rule9 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((((triple1) -> (rule9 % int2)) triple4) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule9 % int2)) triple4) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple1) -> (rule9 % int4)) ((((triple2 triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple5) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple2 triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((triple1) -> (rule9 % int5)) ((((triple2 ((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((triple5) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple2 ((triple5) -> (rule5 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((triple1) -> (rule9 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule1 % int4)) triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((triple1) -> (rule9 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule2 % int4)) triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((triple1) -> (rule9 % int6)) ((((((((triple1) -> (rule9 % int6))) -> (rule1 % int5)) ((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
((((triple1) -> (rule9 % int6)) ((((((((triple1) -> (rule9 % int6))) -> (rule2 % int5)) ((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule1 % int4)) triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule2 % int4)) triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule1 % int4)) ((triple5) -> (rule5 % int6))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((triple1) -> (rule9 % int5))) -> (rule2 % int4)) ((triple5) -> (rule5 % int6))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((triple1) -> (rule9 % int6)) ((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int6))) -> (rule1 % int4)) triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
((((triple1) -> (rule9 % int6)) ((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int6))) -> (rule2 % int4)) triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
((((triple1) -> (rule9 % int6)) ((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int6))) -> (rule1 % int4)) ((triple5) -> (rule5 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
((((triple1) -> (rule9 % int6)) ((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int6))) -> (rule2 % int4)) ((triple5) -> (rule5 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((((triple5) -> (rule5 % int6))) -> (rule9 % int5))) -> (rule1 % int4)) triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((((triple5) -> (rule5 % int6))) -> (rule9 % int5))) -> (rule2 % int4)) triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((((triple5) -> (rule5 % int6))) -> (rule9 % int5))) -> (rule1 % int4)) ((triple5) -> (rule5 % int6))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((((triple5) -> (rule5 % int6))) -> (rule9 % int5))) -> (rule2 % int4)) ((triple5) -> (rule5 % int6))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is red.
("Anne" "is" "red" "+")
triple4
((((triple2 triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple2 ((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple1) -> (rule9 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((((triple1) -> (rule9 % int4))) -> (rule1 % int3)) triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple1) -> (rule9 % int4))) -> (rule2 % int3)) triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule9 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple1) -> (rule9 % int5))) -> (rule1 % int4)) ((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((triple1) -> (rule9 % int5))) -> (rule2 % int4)) ((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) ((triple5) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
triple5
Bob is big.
("Bob" "is" "big" "+")
triple6
Charlie is big.
("Charlie" "is" "big" "+")
triple7
((triple11) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
((((((triple7) -> (rule9 % int3))) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple7) -> (rule9 % int3))) -> (rule2 % int2)) triple7) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple7) -> (rule9 % int4))) -> (rule1 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple7) -> (rule9 % int4))) -> (rule2 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple11) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple11) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) triple7) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple11) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule1 % int2)) ((triple11) -> (rule5 % int4))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple11) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) ((triple11) -> (rule5 % int4))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
((((triple7) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple7) -> (rule9 % int3)) ((triple8) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple11) -> (rule5 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple11) -> (rule5 % int4))) -> (rule9 % int3)) ((triple8) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple7) -> (rule9 % int5)) ((((((((triple7) -> (rule9 % int5))) -> (rule1 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((triple7) -> (rule9 % int5)) ((((((((triple7) -> (rule9 % int5))) -> (rule2 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((triple7) -> (rule9 % int6)) ((((((((triple7) -> (rule9 % int6))) -> (rule1 % int5)) ((triple11) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((triple7) -> (rule9 % int6)) ((((((((triple7) -> (rule9 % int6))) -> (rule2 % int5)) ((triple11) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple11) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((triple7) -> (rule9 % int5))) -> (rule1 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((triple11) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((triple7) -> (rule9 % int5))) -> (rule2 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((triple11) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((triple7) -> (rule9 % int5))) -> (rule1 % int4)) ((triple11) -> (rule5 % int6))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((triple11) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((triple7) -> (rule9 % int5))) -> (rule2 % int4)) ((triple11) -> (rule5 % int6))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((triple7) -> (rule9 % int6)) ((((((((((triple11) -> (rule5 % int5))) -> (rule9 % int6))) -> (rule1 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((triple7) -> (rule9 % int6)) ((((((((((triple11) -> (rule5 % int5))) -> (rule9 % int6))) -> (rule2 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((triple7) -> (rule9 % int6)) ((((((((((triple11) -> (rule5 % int5))) -> (rule9 % int6))) -> (rule1 % int4)) ((triple11) -> (rule5 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((triple7) -> (rule9 % int6)) ((((((((((triple11) -> (rule5 % int5))) -> (rule9 % int6))) -> (rule2 % int4)) ((triple11) -> (rule5 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple11) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((((triple11) -> (rule5 % int6))) -> (rule9 % int5))) -> (rule1 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((triple11) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((((triple11) -> (rule5 % int6))) -> (rule9 % int5))) -> (rule2 % int4)) triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((triple11) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((((triple11) -> (rule5 % int6))) -> (rule9 % int5))) -> (rule1 % int4)) ((triple11) -> (rule5 % int6))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((triple11) -> (rule5 % int6))) -> (rule9 % int5)) ((((((((((triple11) -> (rule5 % int6))) -> (rule9 % int5))) -> (rule2 % int4)) ((triple11) -> (rule5 % int6))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
Charlie is red.
("Charlie" "is" "red" "+")
triple10
((triple8) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((((((triple7) -> (rule9 % int4))) -> (rule1 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple7) -> (rule9 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple7) -> (rule9 % int5))) -> (rule1 % int4)) ((triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple7) -> (rule9 % int5))) -> (rule2 % int4)) ((triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((((triple11) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((((triple11) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((((triple11) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((triple11) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((((triple11) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) ((triple11) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
triple11
Fiona is big.
("Fiona" "is" "big" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
((((triple12) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple12) -> (rule9 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple14
((((triple13 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((((triple12) -> (rule9 % int4))) -> (rule1 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((((triple12) -> (rule9 % int4))) -> (rule2 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
((triple2 triple1) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple2 ((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple1) -> (rule9 % int2)) triple3) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((((triple1) -> (rule9 % int3))) -> (rule1 % int2)) triple1) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple1) -> (rule9 % int3))) -> (rule2 % int2)) triple1) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule9 % int2)) triple3) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple1) -> (rule9 % int3)) ((((triple1) -> (rule9 % int3)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple1) -> (rule9 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule9 % int4))) -> (rule2 % int3)) ((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule9 % int3)) ((((triple1) -> (rule9 % int3)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule1 % int2)) triple1) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) triple1) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1) -> (rule9 % int4)) ((((((triple5) -> (rule5 % int3))) -> (rule9 % int4)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule1 % int2)) ((triple5) -> (rule5 % int4))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) ((triple5) -> (rule5 % int4))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule9 % int3)) ((((((triple5) -> (rule5 % int4))) -> (rule9 % int3)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule9 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule9 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((triple6) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple7) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple11) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple13 triple12) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((((triple12) -> (rule9 % int3))) -> (rule1 % int2)) triple12) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple12) -> (rule9 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((triple12) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((((triple6) -> (rule9 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple6) -> (rule9 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple7) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple7) -> (rule9 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((((triple11) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple11) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple12) -> (rule9 % int2)) triple14) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple12) -> (rule9 % int4)) ((((triple13 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple12) -> (rule9 % int5)) ((((((((triple12) -> (rule9 % int5))) -> (rule1 % int4)) triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple12) -> (rule9 % int5)) ((((((((triple12) -> (rule9 % int5))) -> (rule2 % int4)) triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
((((((triple6) -> (rule9 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple6) -> (rule9 % int3))) -> (rule2 % int2)) triple6) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((((((((triple6) -> (rule9 % int4))) -> (rule1 % int3)) triple6) -> (rule8 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple6) -> (rule9 % int4))) -> (rule2 % int3)) triple6) -> (rule8 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((((triple6) -> (rule9 % int5)) ((((((((triple6) -> (rule9 % int5))) -> (rule1 % int4)) triple6) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((triple6) -> (rule9 % int5)) ((((((((triple6) -> (rule9 % int5))) -> (rule2 % int4)) triple6) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5