The bear is blue. The bear is cold. The bear is green. The bear is kind. The bear is young. If the bear is cold then the bear is blue. If the bear is kind then the bear is cold. All kind, blue people are green. Green people are blue. Blue people are green. If someone is young then they are kind. If someone is green then they are blue. All cold, kind people are green.
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is young.
("bear" "is" "young" "+")
If the bear is cold then the bear is blue.
((("bear" "is" "cold" "+")) -> ("bear" "is" "blue" "+"))
If the bear is kind then the bear is cold.
((("bear" "is" "kind" "+")) -> ("bear" "is" "cold" "+"))
All kind, blue people are green.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is young then they are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
All cold, kind people are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
The bear is young.
True
1
proof
[(triple5)]
("bear" "is" "young" "+")
triple5
The bear is not green.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule5) OR ((triple2 triple4) -> rule8) OR ((triple4 triple1) -> rule3) OR ((((triple2) -> rule1)) -> rule5) OR ((triple2 ((triple5) -> rule6)) -> rule8) OR ((triple4 ((triple2) -> rule1)) -> rule3) OR ((((triple4) -> rule2) triple4) -> rule8) OR ((((triple5) -> rule6) triple1) -> rule3) OR ((((triple4) -> rule2) ((triple5) -> rule6)) -> rule8) OR ((((triple5) -> rule6) ((triple2) -> rule1)) -> rule3) OR ((((((triple4) -> rule2)) -> rule1)) -> rule5) OR ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((triple5) -> rule6)) -> rule2) triple4) -> rule8) OR ((((triple5) -> rule6) ((((triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((triple5) -> rule6)) -> rule2) ((triple5) -> rule6)) -> rule8) OR ((((((((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((triple4 ((((((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((triple5) -> rule6) ((((((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
("bear" "is" "green" "-")
triple3
((triple1) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple2 triple4) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple4 triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((triple2 ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((triple4 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((((triple4) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
((((triple5) -> (rule6 % int2)) triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((((triple5) -> (rule6 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((triple4 ((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
((((triple5) -> (rule6 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2)) ((triple5) -> (rule6 % int3))) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
((triple4 ((((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
((((triple5) -> (rule6 % int4)) ((((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is blue.[(triple1 OR ((triple2) -> rule1) OR ((triple3) -> rule4) OR ((triple3) -> rule7) OR ((((triple4) -> rule2)) -> rule1) OR ((((triple2 triple4) -> rule8)) -> rule4) OR ((((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple5) -> rule6)) -> rule2)) -> rule1) OR ((((triple2 ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((triple2 ((triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple4) -> rule2) triple4) -> rule8)) -> rule4) OR ((((((triple4) -> rule2) triple4) -> rule8)) -> rule7) OR ((((((triple4) -> rule2) ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2) ((triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((((triple5) -> rule6)) -> rule2) triple4) -> rule8)) -> rule4) OR ((((((((triple5) -> rule6)) -> rule2) triple4) -> rule8)) -> rule7) OR ((((((((triple5) -> rule6)) -> rule2) ((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule6)) -> rule2) ((triple5) -> rule6)) -> rule8)) -> rule7))] The bear is cold.[(triple2 OR ((triple4) -> rule2) OR ((((triple5) -> rule6)) -> rule2))] The bear is green.[(triple3 OR ((triple1) -> rule5) OR ((triple2 triple4) -> rule8) OR ((triple4 triple1) -> rule3) OR ((((triple2) -> rule1)) -> rule5) OR ((triple2 ((triple5) -> rule6)) -> rule8) OR ((triple4 ((triple2) -> rule1)) -> rule3) OR ((((triple4) -> rule2) triple4) -> rule8) OR ((((triple5) -> rule6) triple1) -> rule3) OR ((((triple4) -> rule2) ((triple5) -> rule6)) -> rule8) OR ((((triple5) -> rule6) ((triple2) -> rule1)) -> rule3) OR ((((((triple4) -> rule2)) -> rule1)) -> rule5) OR ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((triple5) -> rule6)) -> rule2) triple4) -> rule8) OR ((((triple5) -> rule6) ((((triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((triple5) -> rule6)) -> rule2) ((triple5) -> rule6)) -> rule8) OR ((((((((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((triple4 ((((((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((triple5) -> rule6) ((((((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule3))] The bear is kind.[(triple4 OR ((triple5) -> rule6))] The bear is young.[(triple5)]
The bear is blue.
("bear" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((triple3) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((triple3) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
((((triple2 triple4) -> (rule8 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((triple2 triple4) -> (rule8 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
((((triple2 ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
((((triple2 ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
((((((triple4) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((((((triple4) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((((((triple4) -> (rule2 % int4)) ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((((triple4) -> (rule2 % int4)) ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3)) ((triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3)) ((triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
triple2
((triple4) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is green.
("bear" "is" "green" "+")
triple3
((triple1) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple2 triple4) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple4 triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((triple2 ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((triple4 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((((triple4) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
((((triple5) -> (rule6 % int2)) triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((((triple5) -> (rule6 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((triple4 ((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
((((triple5) -> (rule6 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2)) ((triple5) -> (rule6 % int3))) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
((triple4 ((((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
((((triple5) -> (rule6 % int4)) ((((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The bear is kind.
("bear" "is" "kind" "+")
triple4
((triple5) -> (rule6 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple5