The bear chases the lion. The bear chases the mouse. The bear chases the squirrel. The bear is not kind. The bear is red. The bear likes the lion. The bear likes the squirrel. The lion chases the mouse. The lion eats the mouse. The lion is not round. The mouse chases the squirrel. The mouse is rough. The mouse does not like the lion. The squirrel does not eat the bear. The squirrel does not like the bear. If something is rough and it chases the mouse then it is not kind. If something is rough then it chases the mouse.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is red.
("bear" "is" "red" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is not round.
("lion" "is" "round" "-")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
If something is rough and it chases the mouse then it is not kind.
((("something" "is" "rough" "+") ("something" "chases" "mouse" "+")) -> ("something" "is" "kind" "-"))
If something is rough then it chases the mouse.
((("something" "is" "rough" "+")) -> ("something" "chases" "mouse" "+"))
The bear is red.
True
1
proof
[(triple5)]
("bear" "is" "red" "+")
triple5
The mouse is not rough.
False
1
inv-proof
[(triple12)]
("mouse" "is" "rough" "-")
triple12
The mouse chases the mouse.
True
2
proof
[(((triple12) -> rule2))]
("mouse" "chases" "mouse" "+")
((triple12) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
2
inv-proof
[(((triple12) -> rule2))]
("mouse" "chases" "mouse" "-")
((triple12) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The squirrel does not chase the mouse.
Unknown
inv-rconc
[@1: The squirrel chases the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "mouse" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The squirrel eats the mouse.
Unknown
random
[@0: The squirrel eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "mouse" "+")
@0: The bear chases the lion.[(triple1)] The bear chases the mouse.[(triple2)] The bear chases the squirrel.[(triple3)] The bear is not kind.[(triple4)] The bear is red.[(triple5)] The bear likes the lion.[(triple6)] The bear likes the squirrel.[(triple7)] The lion chases the mouse.[(triple8)] The lion eats the mouse.[(triple9)] The lion is not round.[(triple10)] The mouse chases the squirrel.[(triple11)] The mouse does not like the lion.[(triple13)] The mouse is rough.[(triple12)] The squirrel does not eat the bear.[(triple14)] The squirrel does not like the bear.[(triple15)] @1: The mouse chases the mouse.[(((triple12) -> rule2))] @2: The mouse is not kind.[(((triple12 ((triple12) -> rule2)) -> rule1))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple3
The bear is not kind.
("bear" "is" "kind" "-")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear likes the lion.
("bear" "likes" "lion" "+")
triple6
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple7
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple8
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple9
The lion is not round.
("lion" "is" "round" "-")
triple10
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple11
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
triple13
The mouse is rough.
("mouse" "is" "rough" "+")
triple12
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
triple14
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
triple15
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple12) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is not kind.
("mouse" "is" "kind" "-")
((triple12 ((triple12) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is not kind.
("mouse" "is" "kind" "-")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2