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