The cat needs the rabbit. The cat needs the squirrel. The cat sees the rabbit. The rabbit is kind. The rabbit is young. The rabbit needs the squirrel. The rabbit sees the cat. The squirrel sees the cat. The squirrel sees the rabbit. The squirrel visits the cat. If something needs the rabbit then it needs the squirrel. If something sees the cat and it is red then it visits the squirrel. If the cat visits the squirrel and the squirrel visits the cat then the squirrel is kind.
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If something needs the rabbit then it needs the squirrel.
((("something" "needs" "rabbit" "+")) -> ("something" "needs" "squirrel" "+"))
If something sees the cat and it is red then it visits the squirrel.
((("something" "sees" "cat" "+") ("something" "is" "red" "+")) -> ("something" "visits" "squirrel" "+"))
If the cat visits the squirrel and the squirrel visits the cat then the squirrel is kind.
((("cat" "visits" "squirrel" "+") ("squirrel" "visits" "cat" "+")) -> ("squirrel" "is" "kind" "+"))
The cat sees the rabbit.
True
1
proof
[(triple3)]
("cat" "sees" "rabbit" "+")
triple3
The squirrel does not visit the cat.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "cat" "-")
triple10
The rabbit does not visit the squirrel.
Unknown
inv-rconc
[@1: The rabbit visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "visits" "squirrel" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The cat needs the rabbit.[(triple1)] The cat needs the squirrel.[(triple2 OR ((triple1) -> rule1))] The cat sees the rabbit.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is young.[(triple5)] The rabbit needs the squirrel.[(triple6)] The rabbit sees the cat.[(triple7)] The squirrel sees the cat.[(triple8)] The squirrel sees the rabbit.[(triple9)] The squirrel visits the cat.[(triple10)]
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple2
((triple1) -> (rule1 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple6
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple7
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple8
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple9
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple10