The bear eats the squirrel. The bear likes the cow. The bear likes the rabbit. The cow is cold. The cow is kind. The cow likes the bear. The cow sees the rabbit. The rabbit eats the cow. The rabbit eats the squirrel. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is not cold. The squirrel is kind. The squirrel is young. The squirrel does not like the rabbit. The squirrel does not see the cow. If something likes the bear then the bear is young.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
The squirrel does not see the cow.
("squirrel" "sees" "cow" "-")
If something likes the bear then the bear is young.
((("something" "likes" "bear" "+")) -> ("bear" "is" "young" "+"))
The squirrel eats the rabbit.
True
1
proof
[(triple11)]
("squirrel" "eats" "rabbit" "+")
triple11
The squirrel does not eat the rabbit.
False
1
inv-proof
[(triple11)]
("squirrel" "eats" "rabbit" "-")
triple11
The bear is young.
True
2
proof
[(((triple6) -> rule1))]
("bear" "is" "young" "+")
((triple6) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple6) -> rule1))]
("bear" "is" "young" "-")
((triple6) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cow does not like the squirrel.
Unknown
inv-random
[@0: The cow likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "squirrel" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear eats the squirrel.[(triple1)] The bear likes the cow.[(triple2)] The bear likes the rabbit.[(triple3)] The cow is cold.[(triple4)] The cow is kind.[(triple5)] The cow likes the bear.[(triple6)] The cow sees the rabbit.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit eats the squirrel.[(triple9)] The rabbit sees the squirrel.[(triple10)] The squirrel does not like the rabbit.[(triple15)] The squirrel does not see the cow.[(triple16)] The squirrel eats the rabbit.[(triple11)] The squirrel is kind.[(triple13)] The squirrel is not cold.[(triple12)] The squirrel is young.[(triple14)] @1: The bear is young.[(((triple6) -> rule1))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear likes the cow.
("bear" "likes" "cow" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple5
The cow likes the bear.
("cow" "likes" "bear" "+")
triple6
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple7
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple8
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple9
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple10
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
triple15
The squirrel does not see the cow.
("squirrel" "sees" "cow" "-")
triple16
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The bear is young.
("bear" "is" "young" "+")
((triple6) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1