The bear eats the cow. The bear is big. The bear is green. The bear is kind. The bear is red. The bear is rough. The bear needs the cow. The bear visits the cow. The cow eats the bear. The cow is green. The cow is rough. The cow visits the bear. Rough things are kind. If something is kind then it needs the cow. If something visits the cow then it eats the bear.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it needs the cow.
((("something" "is" "kind" "+")) -> ("something" "needs" "cow" "+"))
If something visits the cow then it eats the bear.
((("something" "visits" "cow" "+")) -> ("something" "eats" "bear" "+"))
The bear visits the cow.
True
1
proof
[(triple8)]
("bear" "visits" "cow" "+")
triple8
The bear is not rough.
False
1
inv-proof
[(triple6)]
("bear" "is" "rough" "-")
triple6
The cow is kind.
True
2
proof
[(((triple11) -> rule1))]
("cow" "is" "kind" "+")
((triple11) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple11) -> rule1))]
("cow" "is" "kind" "-")
((triple11) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow needs the cow.
True
3
proof
[(((((triple11) -> rule1)) -> rule2))]
("cow" "needs" "cow" "+")
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow does not need the cow.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule2))]
("cow" "needs" "cow" "-")
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "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 needs the bear.
Unknown
random
[@0: The cow needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bear" "+")
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 visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4 OR ((triple6) -> rule1))] The bear is red.[(triple5)] The bear is rough.[(triple6)] The bear needs the cow.[(triple7 OR ((triple4) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] The bear visits the cow.[(triple8)] The cow eats the bear.[(triple9)] The cow is green.[(triple10)] The cow is rough.[(triple11)] The cow visits the bear.[(triple12)] @1: The bear eats the bear.[(((triple8) -> rule3))] The cow is kind.[(((triple11) -> rule1))] @2: The cow needs the cow.[(((((triple11) -> rule1)) -> rule2))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
((triple6) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is red.
("bear" "is" "red" "+")
triple5
The bear is rough.
("bear" "is" "rough" "+")
triple6
The bear needs the cow.
("bear" "needs" "cow" "+")
triple7
((triple4) -> (rule2 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
triple8
The cow eats the bear.
("cow" "eats" "bear" "+")
triple9
The cow is green.
("cow" "is" "green" "+")
triple10
The cow is rough.
("cow" "is" "rough" "+")
triple11
The cow visits the bear.
("cow" "visits" "bear" "+")
triple12
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple8) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((triple11) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2