The bear chases the rabbit. The bear chases the squirrel. The bear eats the rabbit. The bear is blue. The bear is rough. The bear sees the mouse. The bear sees the rabbit. The mouse chases the rabbit. The mouse eats the rabbit. The mouse is nice. The mouse is rough. The mouse sees the squirrel. The rabbit chases the bear. The rabbit chases the squirrel. The rabbit eats the bear. The squirrel is blue. If something eats the mouse then the mouse chases the bear. If something chases the squirrel and it is nice then the squirrel chases the mouse. If something chases the rabbit then it chases the bear. If something is red and it sees the bear then it is blue. If the rabbit is red then the rabbit chases the squirrel. If the mouse is cold and the mouse eats the bear then the bear is cold.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If something eats the mouse then the mouse chases the bear.
((("something" "eats" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
If something chases the squirrel and it is nice then the squirrel chases the mouse.
((("something" "chases" "squirrel" "+") ("something" "is" "nice" "+")) -> ("squirrel" "chases" "mouse" "+"))
If something chases the rabbit then it chases the bear.
((("something" "chases" "rabbit" "+")) -> ("something" "chases" "bear" "+"))
If something is red and it sees the bear then it is blue.
((("something" "is" "red" "+") ("something" "sees" "bear" "+")) -> ("something" "is" "blue" "+"))
If the rabbit is red then the rabbit chases the squirrel.
((("rabbit" "is" "red" "+")) -> ("rabbit" "chases" "squirrel" "+"))
If the mouse is cold and the mouse eats the bear then the bear is cold.
((("mouse" "is" "cold" "+") ("mouse" "eats" "bear" "+")) -> ("bear" "is" "cold" "+"))
The bear chases the squirrel.
True
1
proof
[(triple2)]
("bear" "chases" "squirrel" "+")
triple2
The rabbit does not chase the bear.
False
1
inv-proof
[(triple13)]
("rabbit" "chases" "bear" "-")
triple13
The squirrel does not chase the bear.
Unknown
inv-rconc
[@1: The squirrel chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "chases" "bear" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bear chases the rabbit.[(triple1)] The bear chases the squirrel.[(triple2)] The bear eats the rabbit.[(triple3)] The bear is blue.[(triple4)] The bear is rough.[(triple5)] The bear sees the mouse.[(triple6)] The bear sees the rabbit.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse eats the rabbit.[(triple9)] The mouse is nice.[(triple10)] The mouse is rough.[(triple11)] The mouse sees the squirrel.[(triple12)] The rabbit chases the bear.[(triple13)] The rabbit chases the squirrel.[(triple14)] The rabbit eats the bear.[(triple15)] The squirrel is blue.[(triple16)] @1: The bear chases the bear.[(((triple1) -> rule3))] The mouse chases the bear.[(((triple8) -> rule3))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple6
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple7
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple8
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple9
The mouse is nice.
("mouse" "is" "nice" "+")
triple10
The mouse is rough.
("mouse" "is" "rough" "+")
triple11
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple12
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple13
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple14
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple15
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple16
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple1) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((triple8) -> (rule3 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1