The cat is not rough. The cat sees the squirrel. The rabbit is kind. The rabbit likes the cat. The rabbit does not need the squirrel. The rabbit needs the tiger. The rabbit does not see the squirrel. The squirrel likes the rabbit. The squirrel needs the cat. The squirrel needs the rabbit. The squirrel does not see the cat. The tiger needs the squirrel. If someone is young and cold then they like the squirrel. If someone sees the squirrel then they see the rabbit.
The cat is not rough.
("cat" "is" "rough" "-")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone is young and cold then they like the squirrel.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone sees the squirrel then they see the rabbit.
((("someone" "sees" "squirrel" "+")) -> ("someone" "sees" "rabbit" "+"))
The rabbit does not see the squirrel.
True
1
proof
[(triple7)]
("rabbit" "sees" "squirrel" "-")
triple7
The tiger does not need the squirrel.
False
1
inv-proof
[(triple12)]
("tiger" "needs" "squirrel" "-")
triple12
The cat sees the rabbit.
True
2
proof
[(((triple2) -> rule2))]
("cat" "sees" "rabbit" "+")
((triple2) -> (rule2 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat does not see the rabbit.
False
2
inv-proof
[(((triple2) -> rule2))]
("cat" "sees" "rabbit" "-")
((triple2) -> (rule2 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat does not like the squirrel.
Unknown
inv-rconc
[@1: The cat likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "squirrel" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The cat is not rough.[(triple1)] The cat sees the squirrel.[(triple2)] The rabbit does not need the squirrel.[(triple5)] The rabbit does not see the squirrel.[(triple7)] The rabbit is kind.[(triple3)] The rabbit likes the cat.[(triple4)] The rabbit needs the tiger.[(triple6)] The squirrel does not see the cat.[(triple11)] The squirrel likes the rabbit.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel needs the rabbit.[(triple10)] The tiger needs the squirrel.[(triple12)] @1: The cat sees the rabbit.[(((triple2) -> rule2))]
The cat is not rough.
("cat" "is" "rough" "-")
triple1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple2
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
triple5
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple4
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple6
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
triple11
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple8
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple9
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple10
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple12
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
((triple2) -> (rule2 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1