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