The bear chases the squirrel. The bear needs the mouse. The mouse chases the bear. The mouse chases the squirrel. The mouse is nice. The mouse needs the bear. The mouse needs the squirrel. The mouse visits the squirrel. The squirrel chases the bear. 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 mouse. If something is kind and it needs the squirrel then it chases the squirrel. If something needs the mouse and it chases the bear then it visits the squirrel. If something chases the squirrel then it is nice. If something chases the squirrel then it chases the bear. If something is nice and it visits the mouse then it is red. If something is kind and it visits the bear then the bear visits the squirrel.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
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 mouse.
("squirrel" "visits" "mouse" "+")
If something is kind and it needs the squirrel then it chases the squirrel.
((("something" "is" "kind" "+") ("something" "needs" "squirrel" "+")) -> ("something" "chases" "squirrel" "+"))
If something needs the mouse and it chases the bear then it visits the squirrel.
((("something" "needs" "mouse" "+") ("something" "chases" "bear" "+")) -> ("something" "visits" "squirrel" "+"))
If something chases the squirrel then it is nice.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "nice" "+"))
If something chases the squirrel then it chases the bear.
((("something" "chases" "squirrel" "+")) -> ("something" "chases" "bear" "+"))
If something is nice and it visits the mouse then it is red.
((("something" "is" "nice" "+") ("something" "visits" "mouse" "+")) -> ("something" "is" "red" "+"))
If something is kind and it visits the bear then the bear visits the squirrel.
((("something" "is" "kind" "+") ("something" "visits" "bear" "+")) -> ("bear" "visits" "squirrel" "+"))
The squirrel chases the mouse.
True
1
proof
[(triple10)]
("squirrel" "chases" "mouse" "+")
triple10
The bear does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "chases" "squirrel" "-")
triple1
The bear is nice.
True
2
proof
[(((triple1) -> rule3))]
("bear" "is" "nice" "+")
((triple1) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear does not chase the bear.
False
2
inv-proof
[(((triple1) -> rule4))]
("bear" "chases" "bear" "-")
((triple1) -> (rule4 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear visits the squirrel.
True
4
proof
[(((triple2 ((triple1) -> rule4)) -> rule2))]
("bear" "visits" "squirrel" "+")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear does not visit the squirrel.
False
4
inv-proof
[(((triple2 ((triple1) -> rule4)) -> rule2))]
("bear" "visits" "squirrel" "-")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel is nice.
Unknown
rconc
[@2: The squirrel is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("squirrel" "is" "nice" "+")
The mouse is not red.
Unknown
inv-rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "red" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The bear chases the squirrel.[(triple1)] The bear needs the mouse.[(triple2)] The mouse chases the bear.[(triple3 OR ((triple4) -> rule4))] The mouse chases the squirrel.[(triple4)] The mouse is nice.[(triple5 OR ((triple4) -> rule3))] The mouse needs the bear.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is red.[(triple12)] The squirrel needs the bear.[(triple13)] The squirrel needs the mouse.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The bear chases the bear.[(((triple1) -> rule4))] The bear is nice.[(((triple1) -> rule3))] The squirrel visits the squirrel.[(((triple14 triple9) -> rule2))] @2: The bear visits the squirrel.[(((triple2 ((triple1) -> rule4)) -> rule2))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple3
((triple4) -> (rule4 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple4
The mouse is nice.
("mouse" "is" "nice" "+")
triple5
((triple4) -> (rule3 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple6
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple7
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple9
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
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 mouse.
("squirrel" "visits" "mouse" "+")
triple15
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple1) -> (rule4 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((triple1) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple14 triple9) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2