Anne is big. Anne is blue. Anne is cold. Anne is kind. Bob is big. Bob is blue. Bob is green. Bob is round. Dave is kind. Harry is green. Harry is rough. If something is big then it is round. All kind things are big. Kind, green things are cold. If something is round and blue then it is rough. If something is kind and cold then it is rough. All rough, big things are cold. Big, rough things are kind. All kind, round things are blue. If something is cold then it is kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If something is big then it is round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
All kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Kind, green things are cold.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If something is round and blue then it is rough.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is kind and cold then it is rough.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
All rough, big things are cold.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Big, rough things are kind.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
All kind, round things are blue.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is cold then it is kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Harry is green.
True
1
proof
[(triple10)]
("Harry" "is" "green" "+")
triple10
Bob is not big.
False
1
inv-proof
[(triple5)]
("Bob" "is" "big" "-")
triple5
Anne is rough.
True
3
proof
[(((triple4 triple3) -> rule5) OR ((((triple1) -> rule1) triple2) -> rule4) OR ((((triple3) -> rule9) triple3) -> rule5) OR ((((((triple4) -> rule2)) -> rule1) triple2) -> rule4) OR ((((triple1) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((triple1) -> rule1) ((((triple3) -> rule9) ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((((triple3) -> rule9) ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) triple2) -> rule4) OR ((((triple1) -> rule1) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((triple1) -> rule1) ((((triple3) -> rule9) ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((((triple3) -> rule9) ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((((triple3) -> rule9) ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((((triple3) -> rule9) ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((triple1) -> rule1) ((triple4 ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((triple1) -> rule1) ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((triple4 ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((triple4 ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4))]
("Anne" "is" "rough" "+")
((triple4 triple3) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple1) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3) -> (rule9 % int2)) triple3) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple1) -> (rule1 % int3)) ((triple4 ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple1) -> (rule1 % int4)) ((((triple3) -> (rule9 % int3)) ((triple1) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule9 % int3)) ((triple1) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple3) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple1) -> (rule1 % int4)) ((triple4 ((((triple4) -> (rule2 % int3))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule1 % int5)) ((((triple3) -> (rule9 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple4) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule9 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule9 % int5)) ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule9 % int5)) ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((triple1) -> (rule1 % int5)) ((triple4 ((((((triple3) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple1) -> (rule1 % int5)) ((((triple3) -> (rule9 % int4)) ((((((triple3) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((triple4 ((((((triple3) -> (rule9 % int3))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule9 % int3)) ((((((triple3) -> (rule9 % int3))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 ((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule9 % int5)) ((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is not round.
False
2
inv-proof
[(((triple1) -> rule1) OR ((((triple4) -> rule2)) -> rule1) OR ((((((triple3) -> rule9)) -> rule2)) -> rule1))]
("Anne" "is" "round" "-")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple3) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Dave is round.
True
3
proof
[(((((triple9) -> rule2)) -> rule1))]
("Dave" "is" "round" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((triple5 ((triple8 triple6) -> rule4)) -> rule7) OR ((((((triple8 triple6) -> rule4) triple5) -> rule6)) -> rule9) OR ((triple5 ((((triple5) -> rule1) triple6) -> rule4)) -> rule7) OR ((((((((triple5) -> rule1) triple6) -> rule4) triple5) -> rule6)) -> rule9))]
("Bob" "is" "kind" "-")
((triple5 ((triple8 triple6) -> (rule4 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple8 triple6) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple5 ((((triple5) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((((triple5) -> (rule1 % int4)) triple6) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Dave is blue.
True
5
proof
[(((triple9 ((((triple9) -> rule2)) -> rule1)) -> rule8))]
("Dave" "is" "blue" "+")
((triple9 ((((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not blue.
False
5
inv-proof
[(((triple9 ((((triple9) -> rule2)) -> rule1)) -> rule8))]
("Dave" "is" "blue" "-")
((triple9 ((((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
True
9
proof
[(((((((triple9) -> rule2)) -> rule1) ((triple9 ((((triple9) -> rule2)) -> rule1)) -> rule8)) -> rule4))]
("Dave" "is" "rough" "+")
((((((triple9) -> (rule2 % int4))) -> (rule1 % int3)) ((triple9 ((((triple9) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is not rough.
False
9
inv-proof
[(((((((triple9) -> rule2)) -> rule1) ((triple9 ((((triple9) -> rule2)) -> rule1)) -> rule8)) -> rule4))]
("Dave" "is" "rough" "-")
((((((triple9) -> (rule2 % int4))) -> (rule1 % int3)) ((triple9 ((((triple9) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is cold.
True
12
proof
[(((((((((triple9) -> rule2)) -> rule1) ((triple9 ((((triple9) -> rule2)) -> rule1)) -> rule8)) -> rule4) ((triple9) -> rule2)) -> rule6))]
("Dave" "is" "cold" "+")
((((((((triple9) -> (rule2 % int5))) -> (rule1 % int4)) ((triple9 ((((triple9) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int5))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is not cold.
False
12
inv-proof
[(((((((((triple9) -> rule2)) -> rule1) ((triple9 ((((triple9) -> rule2)) -> rule1)) -> rule8)) -> rule4) ((triple9) -> rule2)) -> rule6))]
("Dave" "is" "cold" "-")
((((((((triple9) -> (rule2 % int5))) -> (rule1 % int4)) ((triple9 ((((triple9) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int5))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Harry is not kind.
Unknown
inv-rconc
[@4: Harry is kind.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule9 <- rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is round.
Unknown
rconc
[@5: Harry is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule9 <- rule3 <- rule7 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not big.
Unknown
inv-rconc
[@4: Harry is big.[CWA. Example of deepest failure = (rule2 <- rule9 <- rule3 <- rule7 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is blue.
Unknown
rconc
[@5: Harry is blue.[CWA. Example of deepest failure = (rule8 <- rule7 <- rule2 <- rule9 <- rule3 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not cold.
Unknown
inv-rconc
[@5: Harry is cold.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule2 <- rule9 <- rule6 <- FAIL)]]
("Harry" "is" "cold" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Anne is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple3) -> rule9)) -> rule2))] Anne is blue.[(triple2 OR ((triple4 ((triple1) -> rule1)) -> rule8) OR ((((triple3) -> rule9) ((triple1) -> rule1)) -> rule8) OR ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8) OR ((((triple3) -> rule9) ((((triple4) -> rule2)) -> rule1)) -> rule8) OR ((triple4 ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8) OR ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8))] Anne is cold.[(triple3 OR ((((((triple1) -> rule1) triple2) -> rule4) triple1) -> rule6) OR ((((((triple1) -> rule1) triple2) -> rule4) ((triple4) -> rule2)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule1) triple2) -> rule4) triple1) -> rule6) OR ((((((triple1) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule8)) -> rule4) triple1) -> rule6) OR ((((((((triple4) -> rule2)) -> rule1) triple2) -> rule4) ((triple4) -> rule2)) -> rule6) OR ((((((triple1) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule8)) -> rule4) ((triple4) -> rule2)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule8)) -> rule4) triple1) -> rule6) OR ((((((((triple4) -> rule2)) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule8)) -> rule4) ((triple4) -> rule2)) -> rule6) OR ((((((triple1) -> rule1) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) triple1) -> rule6) OR ((((((triple1) -> rule1) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) ((triple4) -> rule2)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule1) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) triple1) -> rule6) OR ((((((((triple4) -> rule2)) -> rule1) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) ((triple4) -> rule2)) -> rule6))] Anne is kind.[(triple4 OR ((triple3) -> rule9) OR ((triple1 ((((triple1) -> rule1) triple2) -> rule4)) -> rule7) OR ((((((((triple1) -> rule1) triple2) -> rule4) triple1) -> rule6)) -> rule9))] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is green.[(triple7)] Bob is round.[(triple8 OR ((triple5) -> rule1))] Dave is kind.[(triple9)] Harry is green.[(triple10)] Harry is rough.[(triple11)] @1: Anne is rough.[(((triple4 triple3) -> rule5) OR ((((triple1) -> rule1) triple2) -> rule4) OR ((((triple3) -> rule9) triple3) -> rule5) OR ((((((triple4) -> rule2)) -> rule1) triple2) -> rule4) OR ((((triple1) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((triple1) -> rule1) ((((triple3) -> rule9) ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((((triple3) -> rule9) ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) triple2) -> rule4) OR ((((triple1) -> rule1) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((triple1) -> rule1) ((((triple3) -> rule9) ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((((triple3) -> rule9) ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((((triple3) -> rule9) ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((((triple3) -> rule9) ((((triple4) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((triple1) -> rule1) ((triple4 ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((triple1) -> rule1) ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((triple4 ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((triple4 ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule2)) -> rule1) ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule2)) -> rule1)) -> rule8)) -> rule4))] Anne is round.[(((triple1) -> rule1) OR ((((triple4) -> rule2)) -> rule1) OR ((((((triple3) -> rule9)) -> rule2)) -> rule1))] Bob is rough.[(((triple8 triple6) -> rule4) OR ((((triple5) -> rule1) triple6) -> rule4))] Dave is big.[(((triple9) -> rule2))] @2: Bob is cold.[(((((triple8 triple6) -> rule4) triple5) -> rule6) OR ((((triple5 ((triple8 triple6) -> rule4)) -> rule7) triple7) -> rule3) OR ((((((triple5) -> rule1) triple6) -> rule4) triple5) -> rule6) OR ((((triple5 ((((triple5) -> rule1) triple6) -> rule4)) -> rule7) triple7) -> rule3))] Bob is kind.[(((triple5 ((triple8 triple6) -> rule4)) -> rule7) OR ((((((triple8 triple6) -> rule4) triple5) -> rule6)) -> rule9) OR ((triple5 ((((triple5) -> rule1) triple6) -> rule4)) -> rule7) OR ((((((((triple5) -> rule1) triple6) -> rule4) triple5) -> rule6)) -> rule9))] Dave is round.[(((((triple9) -> rule2)) -> rule1))] @3: Dave is blue.[(((triple9 ((((triple9) -> rule2)) -> rule1)) -> rule8))] @4: Dave is rough.[(((((((triple9) -> rule2)) -> rule1) ((triple9 ((((triple9) -> rule2)) -> rule1)) -> rule8)) -> rule4))] @5: Dave is cold.[(((((((((triple9) -> rule2)) -> rule1) ((triple9 ((((triple9) -> rule2)) -> rule1)) -> rule8)) -> rule4) ((triple9) -> rule2)) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple3) -> (rule9 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple4 ((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3) -> (rule9 % int3)) ((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((triple4 ((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple3) -> (rule9 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple4 ((((((triple3) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3) -> (rule9 % int4)) ((((((triple3) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
triple3
((((((triple1) -> (rule1 % int3)) triple2) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule1 % int4)) triple2) -> (rule4 % int3)) ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3)) triple2) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple1) -> (rule1 % int4)) ((triple4 ((triple1) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3)) triple2) -> (rule4 % int2)) ((triple4) -> (rule2 % int4))) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple1) -> (rule1 % int5)) ((triple4 ((triple1) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((triple4 ((triple1) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((triple4 ((triple1) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple4) -> (rule2 % int5))) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple1) -> (rule1 % int5)) ((triple4 ((((triple4) -> (rule2 % int4))) -> (rule1 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule1 % int5)) ((triple4 ((((triple4) -> (rule2 % int4))) -> (rule1 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple4) -> (rule2 % int4))) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((triple4 ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((triple4 ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple4) -> (rule2 % int5))) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
triple4
((triple3) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple1 ((((triple1) -> (rule1 % int3)) triple2) -> (rule4 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((((triple1) -> (rule1 % int4)) triple2) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple8
((triple5) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Anne is rough.
("Anne" "is" "rough" "+")
((triple4 triple3) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple1) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3) -> (rule9 % int2)) triple3) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple1) -> (rule1 % int3)) ((triple4 ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple1) -> (rule1 % int4)) ((((triple3) -> (rule9 % int3)) ((triple1) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule9 % int3)) ((triple1) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple3) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple1) -> (rule1 % int4)) ((triple4 ((((triple4) -> (rule2 % int3))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule1 % int5)) ((((triple3) -> (rule9 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple4) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule9 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule9 % int5)) ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule9 % int5)) ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((triple1) -> (rule1 % int5)) ((triple4 ((((((triple3) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple1) -> (rule1 % int5)) ((((triple3) -> (rule9 % int4)) ((((((triple3) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((triple4 ((((((triple3) -> (rule9 % int3))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule9 % int3)) ((((((triple3) -> (rule9 % int3))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 ((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule9 % int5)) ((((((triple3) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple3) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((triple8 triple6) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple5) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple9) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple8 triple6) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple5 ((triple8 triple6) -> (rule4 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple5) -> (rule1 % int3)) triple6) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple5 ((((triple5) -> (rule1 % int4)) triple6) -> (rule4 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((triple5 ((triple8 triple6) -> (rule4 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple8 triple6) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple5 ((((triple5) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((((triple5) -> (rule1 % int4)) triple6) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple9 ((((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((((triple9) -> (rule2 % int4))) -> (rule1 % int3)) ((triple9 ((((triple9) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
((((((((triple9) -> (rule2 % int5))) -> (rule1 % int4)) ((triple9 ((((triple9) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int5))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5