The bear eats the cow. The bear is cold. The bear is red. The bear likes the squirrel. The bear needs the cow. The bear needs the squirrel. The cow eats the bear. The cow is nice. The cow likes the squirrel. The cow needs the squirrel. The squirrel is big. The squirrel needs the cow. If something likes the bear then it is round. If something needs the cow then the cow is big. If something needs the bear then it needs the cow.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If something likes the bear then it is round.
((("something" "likes" "bear" "+")) -> ("something" "is" "round" "+"))
If something needs the cow then the cow is big.
((("something" "needs" "cow" "+")) -> ("cow" "is" "big" "+"))
If something needs the bear then it needs the cow.
((("something" "needs" "bear" "+")) -> ("something" "needs" "cow" "+"))
The bear is cold.
True
1
proof
[(triple2)]
("bear" "is" "cold" "+")
triple2
The bear does not need the squirrel.
False
1
inv-proof
[(triple6)]
("bear" "needs" "squirrel" "-")
triple6
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "cow" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The bear eats the cow.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the cow.[(triple5)] The bear needs the squirrel.[(triple6)] The cow eats the bear.[(triple7)] The cow is nice.[(triple8)] The cow likes the squirrel.[(triple9)] The cow needs the squirrel.[(triple10)] The squirrel is big.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The cow is big.[(((triple12) -> rule2) OR ((triple5) -> rule2))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The bear needs the cow.
("bear" "needs" "cow" "+")
triple5
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple6
The cow eats the bear.
("cow" "eats" "bear" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple9
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple12
The cow is big.
("cow" "is" "big" "+")
((triple12) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((triple5) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1