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