The bear chases the cow. The bear is cold. The bear is green. The bear is kind. The bear is rough. The bear sees the cow. The bear visits the cow. The cow chases the bear. The cow is green. The cow visits the bear. If someone sees the bear and they visit the bear then the bear visits the cow. If someone chases the bear and they are blue then they are cold. If someone is kind and they see the bear then they visit the bear. If someone is kind and they see the cow then the cow sees the bear. If someone chases the cow and the cow is blue then they see the bear. If someone sees the cow then the cow is blue.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is green.
("cow" "is" "green" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If someone sees the bear and they visit the bear then the bear visits the cow.
((("someone" "sees" "bear" "+") ("someone" "visits" "bear" "+")) -> ("bear" "visits" "cow" "+"))
If someone chases the bear and they are blue then they are cold.
((("someone" "chases" "bear" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and they see the bear then they visit the bear.
((("someone" "is" "kind" "+") ("someone" "sees" "bear" "+")) -> ("someone" "visits" "bear" "+"))
If someone is kind and they see the cow then the cow sees the bear.
((("someone" "is" "kind" "+") ("someone" "sees" "cow" "+")) -> ("cow" "sees" "bear" "+"))
If someone chases the cow and the cow is blue then they see the bear.
((("someone" "chases" "cow" "+") ("cow" "is" "blue" "+")) -> ("someone" "sees" "bear" "+"))
If someone sees the cow then the cow is blue.
((("someone" "sees" "cow" "+")) -> ("cow" "is" "blue" "+"))
The bear is cold.
True
1
proof
[(triple2)]
("bear" "is" "cold" "+")
triple2
The cow does not visit the bear.
False
1
inv-proof
[(triple10)]
("cow" "visits" "bear" "-")
triple10
The cow is blue.
True
2
proof
[(((triple6) -> rule6))]
("cow" "is" "blue" "+")
((triple6) -> (rule6 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is not blue.
False
2
inv-proof
[(((triple6) -> rule6))]
("cow" "is" "blue" "-")
((triple6) -> (rule6 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is cold.
True
4
proof
[(((triple8 ((triple6) -> rule6)) -> rule2))]
("cow" "is" "cold" "+")
((triple8 ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is not cold.
False
4
inv-proof
[(((triple8 ((triple6) -> rule6)) -> rule2))]
("cow" "is" "cold" "-")
((triple8 ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The bear visits the bear.
True
6
proof
[(((triple4 ((triple1 ((triple6) -> rule6)) -> rule5)) -> rule3))]
("bear" "visits" "bear" "+")
((triple4 ((triple1 ((triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The bear does not visit the bear.
False
6
inv-proof
[(((triple4 ((triple1 ((triple6) -> rule6)) -> rule5)) -> rule3))]
("bear" "visits" "bear" "-")
((triple4 ((triple1 ((triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The bear chases the cow.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The bear sees the cow.[(triple6)] The bear visits the cow.[(triple7 OR ((((triple4 triple6) -> rule4) triple10) -> rule1) OR ((((triple1 ((triple6) -> rule6)) -> rule5) ((triple4 ((triple1 ((triple6) -> rule6)) -> rule5)) -> rule3)) -> rule1))] The cow chases the bear.[(triple8)] The cow is green.[(triple9)] The cow visits the bear.[(triple10)] @1: The cow is blue.[(((triple6) -> rule6))] The cow sees the bear.[(((triple4 triple6) -> rule4))] @2: The bear sees the bear.[(((triple1 ((triple6) -> rule6)) -> rule5))] The cow is cold.[(((triple8 ((triple6) -> rule6)) -> rule2))] @3: The bear visits the bear.[(((triple4 ((triple1 ((triple6) -> rule6)) -> rule5)) -> rule3))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear sees the cow.
("bear" "sees" "cow" "+")
triple6
The bear visits the cow.
("bear" "visits" "cow" "+")
triple7
((((triple4 triple6) -> (rule4 % int2)) triple10) -> (rule1 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
int2
((((triple1 ((triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((triple4 ((triple1 ((triple6) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The cow chases the bear.
("cow" "chases" "bear" "+")
triple8
The cow is green.
("cow" "is" "green" "+")
triple9
The cow visits the bear.
("cow" "visits" "bear" "+")
triple10
The cow is blue.
("cow" "is" "blue" "+")
((triple6) -> (rule6 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
((triple4 triple6) -> (rule4 % int1))
The cow sees the bear.
("cow" "sees" "bear" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple1 ((triple6) -> (rule6 % int2))) -> (rule5 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
((triple8 ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple4 ((triple1 ((triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3