The lion likes the rabbit. The lion sees the squirrel. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit is young. The rabbit sees the lion. The squirrel is rough. The squirrel is young. The squirrel likes the rabbit. The squirrel sees the lion. The squirrel visits the rabbit. If someone is cold then they like the squirrel. If the rabbit sees the squirrel then the squirrel likes the lion.
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone is cold then they like the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "squirrel" "+"))
If the rabbit sees the squirrel then the squirrel likes the lion.
((("rabbit" "sees" "squirrel" "+")) -> ("squirrel" "likes" "lion" "+"))
The rabbit is young.
True
1
proof
[(triple6)]
("rabbit" "is" "young" "+")
triple6
The squirrel is not young.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "young" "-")
triple9
The squirrel does not like the lion.
Unknown
inv-rconc
[@1: The squirrel likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "lion" "-")
The lion sees the rabbit.
Unknown
random
[@0: The lion sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "rabbit" "+")
@0: The lion likes the rabbit.[(triple1)] The lion sees the squirrel.[(triple2)] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)] The rabbit is young.[(triple6)] The rabbit sees the lion.[(triple7)] The squirrel is rough.[(triple8)] The squirrel is young.[(triple9)] The squirrel likes the rabbit.[(triple10)] The squirrel sees the lion.[(triple11)] The squirrel visits the rabbit.[(triple12)]
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple1
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple10
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple11
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple12