The bear eats the cow. The bear is blue. The bear is cold. The bear is red. The bear is rough. The bear is round. The bear likes the cow. The bear needs the cow. The cow eats the bear. The cow is rough. The cow likes the bear. The cow needs the bear. If someone likes the cow then they are rough. If someone likes the bear then they are red. If someone eats the bear then they like the bear. If the cow is round then the cow is rough. If the cow eats the bear then the cow is blue. If someone needs the bear and the bear likes the cow then they are rough. If the bear is rough and the bear eats the cow then the bear is round. If someone is red then they eat the bear.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
If someone likes the cow then they are rough.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the bear then they are red.
((("someone" "likes" "bear" "+")) -> ("someone" "is" "red" "+"))
If someone eats the bear then they like the bear.
((("someone" "eats" "bear" "+")) -> ("someone" "likes" "bear" "+"))
If the cow is round then the cow is rough.
((("cow" "is" "round" "+")) -> ("cow" "is" "rough" "+"))
If the cow eats the bear then the cow is blue.
((("cow" "eats" "bear" "+")) -> ("cow" "is" "blue" "+"))
If someone needs the bear and the bear likes the cow then they are rough.
((("someone" "needs" "bear" "+") ("bear" "likes" "cow" "+")) -> ("someone" "is" "rough" "+"))
If the bear is rough and the bear eats the cow then the bear is round.
((("bear" "is" "rough" "+") ("bear" "eats" "cow" "+")) -> ("bear" "is" "round" "+"))
If someone is red then they eat the bear.
((("someone" "is" "red" "+")) -> ("someone" "eats" "bear" "+"))
The bear is blue.
True
1
proof
[(triple2)]
("bear" "is" "blue" "+")
triple2
The cow is not rough.
False
1
inv-proof
[(triple10 OR ((triple12 triple7) -> rule6))]
("cow" "is" "rough" "-")
triple10
((triple12 triple7) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bear eats the bear.
True
2
proof
[(((triple4) -> rule8))]
("bear" "eats" "bear" "+")
((triple4) -> (rule8 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The cow is not blue.
False
2
inv-proof
[(((triple9) -> rule5) OR ((((((triple11) -> rule2)) -> rule8)) -> rule5))]
("cow" "is" "blue" "-")
((triple9) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
((((((triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The bear likes the bear.
True
3
proof
[(((((triple4) -> rule8)) -> rule3))]
("bear" "likes" "bear" "+")
((((triple4) -> (rule8 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear does not like the bear.
False
3
inv-proof
[(((((triple4) -> rule8)) -> rule3))]
("bear" "likes" "bear" "-")
((((triple4) -> (rule8 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "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 is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bear eats the cow.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5 OR ((triple7) -> rule1))] The bear is round.[(triple6 OR ((triple5 triple1) -> rule7) OR ((((triple7) -> rule1) triple1) -> rule7))] The bear likes the cow.[(triple7)] The bear needs the cow.[(triple8)] The cow eats the bear.[(triple9 OR ((((triple11) -> rule2)) -> rule8))] The cow is rough.[(triple10 OR ((triple12 triple7) -> rule6))] The cow likes the bear.[(triple11 OR ((triple9) -> rule3))] The cow needs the bear.[(triple12)] @1: The bear eats the bear.[(((triple4) -> rule8))] The cow is blue.[(((triple9) -> rule5) OR ((((((triple11) -> rule2)) -> rule8)) -> rule5))] The cow is red.[(((triple11) -> rule2) OR ((((triple9) -> rule3)) -> rule2))] @2: The bear likes the bear.[(((((triple4) -> rule8)) -> rule3))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
((triple7) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is round.
("bear" "is" "round" "+")
triple6
((triple5 triple1) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((((triple7) -> (rule1 % int2)) triple1) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
triple7
The bear needs the cow.
("bear" "needs" "cow" "+")
triple8
The cow eats the bear.
("cow" "eats" "bear" "+")
triple9
((((triple11) -> (rule2 % int2))) -> (rule8 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
triple10
((triple12 triple7) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
triple11
((triple9) -> (rule3 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
triple12
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple4) -> (rule8 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((triple9) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
((((((triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow is red.
("cow" "is" "red" "+")
((triple11) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
((((triple4) -> (rule8 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2