The bear chases the cow. The bear eats the cow. The bear is cold. The bear is green. The bear is red. The bear is rough. The bear is young. The bear sees the cow. The cow chases the bear. The cow eats the bear. The cow is cold. The cow is green. The cow is red. The cow is young. The cow sees the bear. If someone is red then they eat the cow. If someone chases the cow and the cow eats the bear then the bear is red. If someone is cold and they eat the bear then the bear is red.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
If someone is red then they eat the cow.
((("someone" "is" "red" "+")) -> ("someone" "eats" "cow" "+"))
If someone chases the cow and the cow eats the bear then the bear is red.
((("someone" "chases" "cow" "+") ("cow" "eats" "bear" "+")) -> ("bear" "is" "red" "+"))
If someone is cold and they eat the bear then the bear is red.
((("someone" "is" "cold" "+") ("someone" "eats" "bear" "+")) -> ("bear" "is" "red" "+"))
The bear chases the cow.
True
1
proof
[(triple1)]
("bear" "chases" "cow" "+")
triple1
The bear is not rough.
False
1
inv-proof
[(triple6)]
("bear" "is" "rough" "-")
triple6
The cow eats the cow.
True
2
proof
[(((triple13) -> rule1))]
("cow" "eats" "cow" "+")
((triple13) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow does not eat the cow.
False
2
inv-proof
[(((triple13) -> rule1))]
("cow" "eats" "cow" "-")
((triple13) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
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 chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The bear chases the cow.[(triple1)] The bear eats the cow.[(triple2 OR ((triple5) -> rule1) OR ((((triple1 triple10) -> rule2)) -> rule1) OR ((((triple11 triple10) -> rule3)) -> rule1))] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is red.[(triple5 OR ((triple1 triple10) -> rule2) OR ((triple11 triple10) -> rule3))] The bear is rough.[(triple6)] The bear is young.[(triple7)] The bear sees the cow.[(triple8)] The cow chases the bear.[(triple9)] The cow eats the bear.[(triple10)] The cow is cold.[(triple11)] The cow is green.[(triple12)] The cow is red.[(triple13)] The cow is young.[(triple14)] The cow sees the bear.[(triple15)] @1: The cow eats the cow.[(((triple13) -> rule1))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
((triple5) -> (rule1 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
((((triple1 triple10) -> (rule2 % int2))) -> (rule1 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
((((triple11 triple10) -> (rule3 % int2))) -> (rule1 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
((triple1 triple10) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple11 triple10) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The bear sees the cow.
("bear" "sees" "cow" "+")
triple8
The cow chases the bear.
("cow" "chases" "bear" "+")
triple9
The cow eats the bear.
("cow" "eats" "bear" "+")
triple10
The cow is cold.
("cow" "is" "cold" "+")
triple11
The cow is green.
("cow" "is" "green" "+")
triple12
The cow is red.
("cow" "is" "red" "+")
triple13
The cow is young.
("cow" "is" "young" "+")
triple14
The cow sees the bear.
("cow" "sees" "bear" "+")
triple15
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple13) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1