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