The bear is cold. The bear is green. The bear is kind. The bear likes the cow. The bear needs the cow. The bear sees the cow. The cow is cold. The cow is green. The cow is nice. The cow likes the bear. The cow needs the bear. The cow sees the bear. If the cow needs the bear and the bear is green then the bear needs the cow. If something likes the bear then it is rough. If something is green then it likes the bear. If something sees the cow and the cow needs the bear then it sees the bear. If something likes the cow then the cow is rough. If the bear is kind and the bear likes the cow then the bear sees the cow.
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
If the cow needs the bear and the bear is green then the bear needs the cow.
((("cow" "needs" "bear" "+") ("bear" "is" "green" "+")) -> ("bear" "needs" "cow" "+"))
If something likes the bear then it is rough.
((("something" "likes" "bear" "+")) -> ("something" "is" "rough" "+"))
If something is green then it likes the bear.
((("something" "is" "green" "+")) -> ("something" "likes" "bear" "+"))
If something sees the cow and the cow needs the bear then it sees the bear.
((("something" "sees" "cow" "+") ("cow" "needs" "bear" "+")) -> ("something" "sees" "bear" "+"))
If something likes the cow then the cow is rough.
((("something" "likes" "cow" "+")) -> ("cow" "is" "rough" "+"))
If the bear is kind and the bear likes the cow then the bear sees the cow.
((("bear" "is" "kind" "+") ("bear" "likes" "cow" "+")) -> ("bear" "sees" "cow" "+"))
The cow needs the bear.
True
1
proof
[(triple11)]
("cow" "needs" "bear" "+")
triple11
The cow is not green.
False
1
inv-proof
[(triple8)]
("cow" "is" "green" "-")
triple8
The bear sees the bear.
True
3
proof
[(((triple6 triple11) -> rule4) OR ((((triple3 triple4) -> rule6) triple11) -> rule4))]
("bear" "sees" "bear" "+")
((triple6 triple11) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((((triple3 triple4) -> (rule6 % int2)) triple11) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
int2
The cow is not rough.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple4) -> rule5) OR ((((triple8) -> rule3)) -> rule2))]
("cow" "is" "rough" "-")
((triple10) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple4) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The bear is rough.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("bear" "is" "rough" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is not rough.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("bear" "is" "rough" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
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 like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear likes the cow.[(triple4)] The bear needs the cow.[(triple5 OR ((triple11 triple2) -> rule1))] The bear sees the cow.[(triple6 OR ((triple3 triple4) -> rule6))] The cow is cold.[(triple7)] The cow is green.[(triple8)] The cow is nice.[(triple9)] The cow likes the bear.[(triple10 OR ((triple8) -> rule3))] The cow needs the bear.[(triple11)] The cow sees the bear.[(triple12)] @1: The bear likes the bear.[(((triple2) -> rule3))] The bear sees the bear.[(((triple6 triple11) -> rule4) OR ((((triple3 triple4) -> rule6) triple11) -> rule4))] The cow is rough.[(((triple10) -> rule2) OR ((triple4) -> rule5) OR ((((triple8) -> rule3)) -> rule2))] @2: The bear is rough.[(((((triple2) -> rule3)) -> rule2))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
triple4
The bear needs the cow.
("bear" "needs" "cow" "+")
triple5
((triple11 triple2) -> (rule1 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
triple6
((triple3 triple4) -> (rule6 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
triple7
The cow is green.
("cow" "is" "green" "+")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple9
The cow likes the bear.
("cow" "likes" "bear" "+")
triple10
((triple8) -> (rule3 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
triple11
The cow sees the bear.
("cow" "sees" "bear" "+")
triple12
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple6 triple11) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((((triple3 triple4) -> (rule6 % int2)) triple11) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
((triple10) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple4) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2