The bear is round. The bear is young. The bear likes the rabbit. The bear likes the squirrel. The bear needs the rabbit. The bear visits the rabbit. The bear visits the squirrel. The rabbit likes the bear. The rabbit needs the bear. The rabbit visits the bear. The squirrel is big. The squirrel is round. The squirrel is young. The squirrel likes the rabbit. The squirrel visits the bear. The squirrel visits the rabbit. If someone is young and round then they like the bear. If someone visits the rabbit and they need the bear then the rabbit needs the squirrel. If the bear likes the squirrel then the squirrel needs the bear.
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone is young and round then they like the bear.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "likes" "bear" "+"))
If someone visits the rabbit and they need the bear then the rabbit needs the squirrel.
((("someone" "visits" "rabbit" "+") ("someone" "needs" "bear" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If the bear likes the squirrel then the squirrel needs the bear.
((("bear" "likes" "squirrel" "+")) -> ("squirrel" "needs" "bear" "+"))
The rabbit likes the bear.
True
1
proof
[(triple8)]
("rabbit" "likes" "bear" "+")
triple8
The squirrel does not like the rabbit.
False
1
inv-proof
[(triple14)]
("squirrel" "likes" "rabbit" "-")
triple14
The bear likes the bear.
True
3
proof
[(((triple2 triple1) -> rule1))]
("bear" "likes" "bear" "+")
((triple2 triple1) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The squirrel does not like the bear.
False
3
inv-proof
[(((triple13 triple12) -> rule1))]
("squirrel" "likes" "bear" "-")
((triple13 triple12) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The rabbit needs the squirrel.
True
4
proof
[(((triple16 ((triple4) -> rule3)) -> rule2))]
("rabbit" "needs" "squirrel" "+")
((triple16 ((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int2
The rabbit does not need the squirrel.
False
4
inv-proof
[(((triple16 ((triple4) -> rule3)) -> rule2))]
("rabbit" "needs" "squirrel" "-")
((triple16 ((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int2
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The rabbit likes the squirrel.
Unknown
random
[@0: The rabbit likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "squirrel" "+")
The rabbit does not visit the squirrel.
Unknown
inv-random
[@0: The rabbit visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "squirrel" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bear is round.[(triple1)] The bear is young.[(triple2)] The bear likes the rabbit.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the rabbit.[(triple5)] The bear visits the rabbit.[(triple6)] The bear visits the squirrel.[(triple7)] The rabbit likes the bear.[(triple8)] The rabbit needs the bear.[(triple9)] The rabbit visits the bear.[(triple10)] The squirrel is big.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the rabbit.[(triple14)] The squirrel visits the bear.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The bear likes the bear.[(((triple2 triple1) -> rule1))] The squirrel likes the bear.[(((triple13 triple12) -> rule1))] The squirrel needs the bear.[(((triple4) -> rule3))] @2: The rabbit needs the squirrel.[(((triple16 ((triple4) -> rule3)) -> rule2))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple6
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple7
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple8
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple9
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple14
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple15
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2 triple1) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((triple13 triple12) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
((triple4) -> (rule3 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
((triple16 ((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int2