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