Anne is blue. Anne is cold. Anne is kind. Anne is smart. Anne is white. Charlie is smart. Erin is smart. Gary is cold. Gary is kind. Gary is smart. Cold things are blue. If something is white then it is cold. All smart, blue things are furry. Quiet things are cold. Blue things are furry. If something is smart then it is white. If Erin is quiet then Erin is blue. All smart, blue things are cold. Smart, furry things are quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is white then it is cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
All smart, blue things are furry.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Quiet things are cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
Blue things are furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is smart then it is white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
If Erin is quiet then Erin is blue.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "blue" "+"))
All smart, blue things are cold.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Smart, furry things are quiet.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Erin is smart.
True
1
proof
[(triple7)]
("Erin" "is" "smart" "+")
triple7
Gary is not kind.
False
1
inv-proof
[(triple9)]
("Gary" "is" "kind" "-")
triple9
Charlie is white.
True
2
proof
[(((triple6) -> rule6))]
("Charlie" "is" "white" "+")
((triple6) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple10) -> rule6))]
("Gary" "is" "white" "-")
((triple10) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is cold.
True
3
proof
[(((((triple7) -> rule6)) -> rule2))]
("Erin" "is" "cold" "+")
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Gary is not furry.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule5) OR ((triple10 ((triple8) -> rule1)) -> rule3) OR ((((((((triple10) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((triple10 ((((((triple10) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
("Gary" "is" "furry" "-")
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple10 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((((triple10) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((triple10 ((((((triple10) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
True
5
proof
[(((triple10 ((((triple8) -> rule1)) -> rule5)) -> rule9) OR ((triple10 ((triple10 ((triple8) -> rule1)) -> rule3)) -> rule9) OR ((triple10 ((((((((triple10) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule9) OR ((triple10 ((triple10 ((((((triple10) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule9))]
("Gary" "is" "quiet" "+")
((triple10 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple10 ((triple10 ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple10 ((((((((triple10) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((triple10 ((triple10 ((((((triple10) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is not quiet.
False
5
inv-proof
[(((triple10 ((((triple8) -> rule1)) -> rule5)) -> rule9) OR ((triple10 ((triple10 ((triple8) -> rule1)) -> rule3)) -> rule9) OR ((triple10 ((((((((triple10) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule9) OR ((triple10 ((triple10 ((((((triple10) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule9))]
("Gary" "is" "quiet" "-")
((triple10 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple10 ((triple10 ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple10 ((((((((triple10) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((triple10 ((triple10 ((((((triple10) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Charlie is furry.
True
5
proof
[(((((((((triple6) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((triple6 ((((((triple6) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
("Charlie" "is" "furry" "+")
((((((((triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple6 ((((((triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Erin is not furry.
False
5
inv-proof
[(((((((((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((triple7 ((((((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
("Erin" "is" "furry" "-")
((((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple7 ((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
True
7
proof
[(((triple7 ((((((((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule9) OR ((triple7 ((triple7 ((((((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule9))]
("Erin" "is" "quiet" "+")
((triple7 ((((((((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((triple7 ((triple7 ((((((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Charlie is not quiet.
False
7
inv-proof
[(((triple6 ((((((((triple6) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule9) OR ((triple6 ((triple6 ((((((triple6) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule9))]
("Charlie" "is" "quiet" "-")
((triple6 ((((((((triple6) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple6 ((triple6 ((((((triple6) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Anne is blue.[(triple1 OR ((triple2) -> rule1) OR ((((triple5) -> rule2)) -> rule1) OR ((((((triple4) -> rule6)) -> rule2)) -> rule1))] Anne is cold.[(triple2 OR ((triple5) -> rule2) OR ((triple4 triple1) -> rule8) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple4 ((triple1) -> rule5)) -> rule9)) -> rule4) OR ((((triple4 ((triple4 triple1) -> rule3)) -> rule9)) -> rule4))] Anne is kind.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple4) -> rule6))] Charlie is smart.[(triple6)] Erin is smart.[(triple7)] Gary is cold.[(triple8 OR ((((triple10) -> rule6)) -> rule2))] Gary is kind.[(triple9)] Gary is smart.[(triple10)] @1: Anne is furry.[(((triple1) -> rule5) OR ((triple4 triple1) -> rule3) OR ((((triple2) -> rule1)) -> rule5) OR ((triple4 ((triple2) -> rule1)) -> rule3) OR ((((((triple5) -> rule2)) -> rule1)) -> rule5) OR ((triple4 ((((triple5) -> rule2)) -> rule1)) -> rule3) OR ((((((((triple4) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((triple4 ((((((triple4) -> rule6)) -> rule2)) -> rule1)) -> rule3))] Charlie is white.[(((triple6) -> rule6))] Erin is white.[(((triple7) -> rule6))] Gary is blue.[(((triple8) -> rule1) OR ((((((triple10) -> rule6)) -> rule2)) -> rule1))] Gary is white.[(((triple10) -> rule6))] @2: Anne is quiet.[(((triple4 ((triple1) -> rule5)) -> rule9) OR ((triple4 ((triple4 triple1) -> rule3)) -> rule9) OR ((triple4 ((((triple2) -> rule1)) -> rule5)) -> rule9) OR ((triple4 ((triple4 ((triple2) -> rule1)) -> rule3)) -> rule9) OR ((triple4 ((((((triple5) -> rule2)) -> rule1)) -> rule5)) -> rule9) OR ((triple4 ((triple4 ((((triple5) -> rule2)) -> rule1)) -> rule3)) -> rule9) OR ((triple4 ((((((((triple4) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule9) OR ((triple4 ((triple4 ((((((triple4) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule9))] Charlie is cold.[(((((triple6) -> rule6)) -> rule2))] Erin is cold.[(((((triple7) -> rule6)) -> rule2))] Gary is furry.[(((((triple8) -> rule1)) -> rule5) OR ((triple10 ((triple8) -> rule1)) -> rule3) OR ((((((((triple10) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((triple10 ((((((triple10) -> rule6)) -> rule2)) -> rule1)) -> rule3))] @3: Charlie is blue.[(((((((triple6) -> rule6)) -> rule2)) -> rule1))] Erin is blue.[(((((((triple7) -> rule6)) -> rule2)) -> rule1))] Gary is quiet.[(((triple10 ((((triple8) -> rule1)) -> rule5)) -> rule9) OR ((triple10 ((triple10 ((triple8) -> rule1)) -> rule3)) -> rule9) OR ((triple10 ((((((((triple10) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule9) OR ((triple10 ((triple10 ((((((triple10) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule9))] @4: Charlie is furry.[(((((((((triple6) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((triple6 ((((((triple6) -> rule6)) -> rule2)) -> rule1)) -> rule3))] Erin is furry.[(((((((((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((triple7 ((((((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule3))] @5: Charlie is quiet.[(((triple6 ((((((((triple6) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule9) OR ((triple6 ((triple6 ((((((triple6) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule9))] Erin is quiet.[(((triple7 ((((((((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule9) OR ((triple7 ((triple7 ((((((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule9))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple5) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple4 triple1) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple4 ((triple1) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple4 ((triple4 triple1) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple4) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
((((triple10) -> (rule6 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple4 triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((triple4 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple4 ((((triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((triple4 ((((((triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
((triple6) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple7) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple8) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((((triple10) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
((triple10) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple4 ((triple1) -> (rule5 % int2))) -> (rule9 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((triple4 ((triple4 triple1) -> (rule3 % int2))) -> (rule9 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((triple4 ((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple4 ((triple4 ((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple4 ((((((triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((triple4 ((triple4 ((((triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((triple4 ((((((((triple4) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((triple4 ((triple4 ((((((triple4) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple10 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((((triple10) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((triple10 ((((((triple10) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple10 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple10 ((triple10 ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple10 ((((((((triple10) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((triple10 ((triple10 ((((((triple10) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Charlie is furry.
("Charlie" "is" "furry" "+")
((((((((triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple6 ((((((triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
((((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple7 ((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple6 ((((((((triple6) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple6 ((triple6 ((((((triple6) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple7 ((((((((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((triple7 ((triple7 ((((((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5