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