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