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