The bear chases the squirrel. The bear is green. The bear is red. The bear needs the mouse. The mouse is blue. The mouse is red. The mouse needs the bear. The mouse visits the bear. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is kind. The squirrel is red. The squirrel needs the bear. The squirrel needs the mouse. The squirrel visits the bear. The squirrel visits the mouse. All kind people are young. If someone needs the bear and they chase the bear then they are young. If someone is red then they chase the mouse. If someone is red then they chase the bear. If someone is young and green then they visit the mouse. If someone visits the bear and the bear is green then they are kind.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone needs the bear and they chase the bear then they are young.
((("someone" "needs" "bear" "+") ("someone" "chases" "bear" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they chase the mouse.
((("someone" "is" "red" "+")) -> ("someone" "chases" "mouse" "+"))
If someone is red then they chase the bear.
((("someone" "is" "red" "+")) -> ("someone" "chases" "bear" "+"))
If someone is young and green then they visit the mouse.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "visits" "mouse" "+"))
If someone visits the bear and the bear is green then they are kind.
((("someone" "visits" "bear" "+") ("bear" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
The squirrel is kind.
True
1
proof
[(triple11 OR ((triple15 triple2) -> rule6))]
("squirrel" "is" "kind" "+")
triple11
((triple15 triple2) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bear does not need the mouse.
False
1
inv-proof
[(triple4)]
("bear" "needs" "mouse" "-")
triple4
The bear chases the bear.
True
2
proof
[(((triple3) -> rule4))]
("bear" "chases" "bear" "+")
((triple3) -> (rule4 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The mouse does not chase the mouse.
False
2
inv-proof
[(((triple6) -> rule3))]
("mouse" "chases" "mouse" "-")
((triple6) -> (rule3 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is young.
True
4
proof
[(((((triple8 triple2) -> rule6)) -> rule1) OR ((triple7 ((triple6) -> rule4)) -> rule2))]
("mouse" "is" "young" "+")
((((triple8 triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
((triple7 ((triple6) -> (rule4 % int2))) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The mouse is not young.
False
4
inv-proof
[(((((triple8 triple2) -> rule6)) -> rule1) OR ((triple7 ((triple6) -> rule4)) -> rule2))]
("mouse" "is" "young" "-")
((((triple8 triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
((triple7 ((triple6) -> (rule4 % int2))) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The bear does not visit the mouse.
Unknown
inv-rconc
[@3: The bear visits the mouse.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule6 <- FAIL)]]
("bear" "visits" "mouse" "-")
The mouse visits the mouse.
Unknown
rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "visits" "mouse" "+")
The bear is not young.
Unknown
inv-rconc
[@2: The bear is young.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("bear" "is" "young" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The mouse needs the squirrel.
Unknown
random
[@0: The mouse needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear needs the mouse.[(triple4)] The mouse is blue.[(triple5)] The mouse is red.[(triple6)] The mouse needs the bear.[(triple7)] The mouse visits the bear.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel chases the mouse.[(triple10 OR ((triple12) -> rule3))] The squirrel is kind.[(triple11 OR ((triple15 triple2) -> rule6))] The squirrel is red.[(triple12)] The squirrel needs the bear.[(triple13)] The squirrel needs the mouse.[(triple14)] The squirrel visits the bear.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The bear chases the bear.[(((triple3) -> rule4))] The bear chases the mouse.[(((triple3) -> rule3))] The mouse chases the bear.[(((triple6) -> rule4))] The mouse chases the mouse.[(((triple6) -> rule3))] The mouse is kind.[(((triple8 triple2) -> rule6))] The squirrel chases the bear.[(((triple12) -> rule4))] The squirrel is young.[(((triple11) -> rule1) OR ((((triple15 triple2) -> rule6)) -> rule1) OR ((triple13 ((triple12) -> rule4)) -> rule2))] @2: The mouse is young.[(((((triple8 triple2) -> rule6)) -> rule1) OR ((triple7 ((triple6) -> rule4)) -> rule2))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple4
The mouse is blue.
("mouse" "is" "blue" "+")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple7
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple8
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple9
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple10
((triple12) -> (rule3 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
((triple15 triple2) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple13
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple14
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple15
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple16
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple3) -> (rule4 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
((triple3) -> (rule3 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((triple6) -> (rule4 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple6) -> (rule3 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple8 triple2) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((triple12) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple11) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((((triple15 triple2) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((triple13 ((triple12) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
((((triple8 triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
((triple7 ((triple6) -> (rule4 % int2))) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2