Anne is blue. Anne is cold. Anne is quiet. Anne is red. Fiona is cold. Gary is big. Harry is blue. All kind, red things are furry. If Anne is red and Anne is cold then Anne is blue. Blue things are red. If something is cold then it is kind. Furry things are blue. If Gary is kind then Gary is red. If something is furry and kind then it is quiet. All red things are cold. Cold, quiet things are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
All kind, red things are furry.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If Anne is red and Anne is cold then Anne is blue.
((("Anne" "is" "red" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "blue" "+"))
Blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something is cold then it is kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If Gary is kind then Gary is red.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "red" "+"))
If something is furry and kind then it is quiet.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
All red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Cold, quiet things are blue.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Anne is cold.
True
1
proof
[(triple2 OR ((triple4) -> rule8) OR ((((triple1) -> rule3)) -> rule8))]
("Anne" "is" "cold" "+")
triple2
((triple4) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Harry is not blue.
False
1
inv-proof
[(triple7)]
("Harry" "is" "blue" "-")
triple7
Harry is red.
True
2
proof
[(((triple7) -> rule3))]
("Harry" "is" "red" "+")
((triple7) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Anne is not kind.
False
2
inv-proof
[(((triple2) -> rule4) OR ((((triple4) -> rule8)) -> rule4) OR ((((((triple1) -> rule3)) -> rule8)) -> rule4))]
("Anne" "is" "kind" "-")
((triple2) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Harry is cold.
True
3
proof
[(((((triple7) -> rule3)) -> rule8))]
("Harry" "is" "cold" "+")
((((triple7) -> (rule3 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not cold.
False
3
inv-proof
[(((((triple7) -> rule3)) -> rule8))]
("Harry" "is" "cold" "-")
((((triple7) -> (rule3 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
True
4
proof
[(((((((triple7) -> rule3)) -> rule8)) -> rule4))]
("Harry" "is" "kind" "+")
((((((triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not kind.
False
4
inv-proof
[(((((((triple7) -> rule3)) -> rule8)) -> rule4))]
("Harry" "is" "kind" "-")
((((((triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
True
7
proof
[(((((((((triple7) -> rule3)) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule1))]
("Harry" "is" "furry" "+")
((((((((triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple7) -> (rule3 % int4))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is not furry.
False
7
inv-proof
[(((((((((triple7) -> rule3)) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule1))]
("Harry" "is" "furry" "-")
((((((((triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple7) -> (rule3 % int4))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is quiet.
True
12
proof
[(((((((((((triple7) -> rule3)) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule1) ((((((triple7) -> rule3)) -> rule8)) -> rule4)) -> rule7))]
("Harry" "is" "quiet" "+")
((((((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple7) -> (rule3 % int5))) -> (rule1 % int2)) ((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is not quiet.
False
12
inv-proof
[(((((((((((triple7) -> rule3)) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule1) ((((((triple7) -> rule3)) -> rule8)) -> rule4)) -> rule7))]
("Harry" "is" "quiet" "-")
((((((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple7) -> (rule3 % int5))) -> (rule1 % int2)) ((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Gary is not red.
Unknown
inv-rconc
[@6: Gary is red.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule1 <- rule4 <- rule8 <- rule6 <- FAIL)]]
("Gary" "is" "red" "-")
Fiona is quiet.
Unknown
rconc
[@4: Fiona is quiet.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule3 <- rule5 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Gary is not kind.
Unknown
inv-rconc
[@5: Gary is kind.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule3 <- rule5 <- rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Fiona is red.
Unknown
rconc
[@4: Fiona is red.[CWA. Example of deepest failure = (rule3 <- rule9 <- rule7 <- rule1 <- FAIL)]]
("Fiona" "is" "red" "+")
Gary is not blue.
Unknown
inv-rconc
[@6: Gary is blue.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule4 <- rule8 <- rule3 <- rule9 <- FAIL)]]
("Gary" "is" "blue" "-")
Fiona is blue.
Unknown
rconc
[@5: Fiona is blue.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule3 <- rule9 <- rule7 <- FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is blue.[(triple1 OR ((triple2 triple3) -> rule9) OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple4) -> rule8)) -> rule2) OR ((((triple4) -> rule8) triple3) -> rule9) OR ((((((triple2) -> rule4) triple4) -> rule1)) -> rule5) OR ((((((((triple4) -> rule8)) -> rule4) triple4) -> rule1)) -> rule5) OR ((triple2 ((((((triple2) -> rule4) triple4) -> rule1) ((triple2) -> rule4)) -> rule7)) -> rule9) OR ((triple2 ((((((triple2) -> rule4) triple4) -> rule1) ((((triple4) -> rule8)) -> rule4)) -> rule7)) -> rule9) OR ((((triple4) -> rule8) ((((((triple2) -> rule4) triple4) -> rule1) ((triple2) -> rule4)) -> rule7)) -> rule9) OR ((((triple4) -> rule8) ((((((triple2) -> rule4) triple4) -> rule1) ((((triple4) -> rule8)) -> rule4)) -> rule7)) -> rule9) OR ((triple2 ((((((((triple4) -> rule8)) -> rule4) triple4) -> rule1) ((triple2) -> rule4)) -> rule7)) -> rule9) OR ((triple2 ((((((((triple4) -> rule8)) -> rule4) triple4) -> rule1) ((((triple4) -> rule8)) -> rule4)) -> rule7)) -> rule9) OR ((((triple4) -> rule8) ((((((((triple4) -> rule8)) -> rule4) triple4) -> rule1) ((triple2) -> rule4)) -> rule7)) -> rule9) OR ((((triple4) -> rule8) ((((((((triple4) -> rule8)) -> rule4) triple4) -> rule1) ((((triple4) -> rule8)) -> rule4)) -> rule7)) -> rule9))] Anne is cold.[(triple2 OR ((triple4) -> rule8) OR ((((triple1) -> rule3)) -> rule8))] Anne is quiet.[(triple3 OR ((((((triple2) -> rule4) triple4) -> rule1) ((triple2) -> rule4)) -> rule7) OR ((((((triple2) -> rule4) triple4) -> rule1) ((((triple4) -> rule8)) -> rule4)) -> rule7) OR ((((((triple2) -> rule4) ((triple1) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule7) OR ((((((triple2) -> rule4) ((triple1) -> rule3)) -> rule1) ((((triple4) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule8)) -> rule4) triple4) -> rule1) ((triple2) -> rule4)) -> rule7) OR ((((((triple2) -> rule4) triple4) -> rule1) ((((((triple1) -> rule3)) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule8)) -> rule4) triple4) -> rule1) ((((triple4) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule8)) -> rule4) ((triple1) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule7) OR ((((((triple2) -> rule4) ((triple1) -> rule3)) -> rule1) ((((((triple1) -> rule3)) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule8)) -> rule4) triple4) -> rule1) ((((((triple1) -> rule3)) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule8)) -> rule4) ((triple1) -> rule3)) -> rule1) ((((triple4) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule8)) -> rule4) ((triple1) -> rule3)) -> rule1) ((((((triple1) -> rule3)) -> rule8)) -> rule4)) -> rule7) OR ((((((((((triple1) -> rule3)) -> rule8)) -> rule4) triple4) -> rule1) ((triple2) -> rule4)) -> rule7) OR ((((((((((triple1) -> rule3)) -> rule8)) -> rule4) triple4) -> rule1) ((((triple4) -> rule8)) -> rule4)) -> rule7) OR ((((((((((triple1) -> rule3)) -> rule8)) -> rule4) ((triple1) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule7) OR ((((((((((triple1) -> rule3)) -> rule8)) -> rule4) triple4) -> rule1) ((((((triple1) -> rule3)) -> rule8)) -> rule4)) -> rule7) OR ((((((((((triple1) -> rule3)) -> rule8)) -> rule4) ((triple1) -> rule3)) -> rule1) ((((triple4) -> rule8)) -> rule4)) -> rule7) OR ((((((((((triple1) -> rule3)) -> rule8)) -> rule4) ((triple1) -> rule3)) -> rule1) ((((((triple1) -> rule3)) -> rule8)) -> rule4)) -> rule7))] Anne is red.[(triple4 OR ((triple1) -> rule3) OR ((((triple2 triple3) -> rule9)) -> rule3))] Fiona is cold.[(triple5)] Gary is big.[(triple6)] Harry is blue.[(triple7)] @1: Anne is kind.[(((triple2) -> rule4) OR ((((triple4) -> rule8)) -> rule4) OR ((((((triple1) -> rule3)) -> rule8)) -> rule4))] Fiona is kind.[(((triple5) -> rule4))] Harry is red.[(((triple7) -> rule3))] @2: Anne is furry.[(((((triple2) -> rule4) triple4) -> rule1) OR ((((triple2) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((((triple4) -> rule8)) -> rule4) triple4) -> rule1) OR ((((triple2) -> rule4) ((((triple2 triple3) -> rule9)) -> rule3)) -> rule1) OR ((((((triple4) -> rule8)) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((((triple4) -> rule8)) -> rule4) ((((triple2 triple3) -> rule9)) -> rule3)) -> rule1) OR ((((((((triple1) -> rule3)) -> rule8)) -> rule4) triple4) -> rule1) OR ((((((((triple1) -> rule3)) -> rule8)) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((((((triple1) -> rule3)) -> rule8)) -> rule4) ((((triple2 triple3) -> rule9)) -> rule3)) -> rule1))] Harry is cold.[(((((triple7) -> rule3)) -> rule8))] @3: Harry is kind.[(((((((triple7) -> rule3)) -> rule8)) -> rule4))] @4: Harry is furry.[(((((((((triple7) -> rule3)) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule1))] @5: Harry is quiet.[(((((((((((triple7) -> rule3)) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule1) ((((((triple7) -> rule3)) -> rule8)) -> rule4)) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple2 triple3) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 triple2) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 ((triple4) -> (rule8 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple4) -> (rule8 % int2)) triple3) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple2) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((((triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((triple2 ((((((triple2) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((triple2) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple2 ((((((triple2) -> (rule4 % int5)) triple4) -> (rule1 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((triple4) -> (rule8 % int5)) ((((((triple2) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((triple2) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((triple4) -> (rule8 % int5)) ((((((triple2) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((((triple4) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((triple2 ((((((((triple4) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((triple2) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((triple2 ((((((((triple4) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((((triple4) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((triple4) -> (rule8 % int5)) ((((((((triple4) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((triple2) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((triple4) -> (rule8 % int5)) ((((((((triple4) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((((triple4) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple4) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((((((triple2) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((triple2) -> (rule4 % int3))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((((triple4) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2) -> (rule4 % int4)) ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule4 % int4))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2) -> (rule4 % int5)) ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule8 % int2))) -> (rule4 % int5))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((triple2) -> (rule4 % int3))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple2) -> (rule4 % int5)) triple4) -> (rule1 % int4)) ((((((triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int5))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((((triple4) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple4) -> (rule8 % int5))) -> (rule4 % int4)) ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule4 % int4))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((triple2) -> (rule4 % int5)) ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int5))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple4) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((((((triple1) -> (rule3 % int2))) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple4) -> (rule8 % int5))) -> (rule4 % int4)) ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple4) -> (rule8 % int5))) -> (rule4 % int4)) ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule3 % int3))) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((((triple1) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((triple2) -> (rule4 % int3))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((((((triple1) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((((triple4) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((((((triple1) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple1) -> (rule3 % int5))) -> (rule1 % int2)) ((triple2) -> (rule4 % int3))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((((((triple1) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((((((triple1) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((((((triple1) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple1) -> (rule3 % int5))) -> (rule1 % int2)) ((((triple4) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((((((triple1) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple1) -> (rule3 % int5))) -> (rule1 % int2)) ((((((triple1) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple1) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple2 triple3) -> (rule9 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Anne is kind.
("Anne" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple7) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple2) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple2) -> (rule4 % int4)) ((((triple2 triple3) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple4) -> (rule8 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((((triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int4))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((((triple1) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((((triple2 triple3) -> (rule9 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
((((triple7) -> (rule3 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((((triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
((((((((triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple7) -> (rule3 % int4))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
((((((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple7) -> (rule3 % int5))) -> (rule1 % int2)) ((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5