The bear eats the cow. The bear is kind. The bear is rough. The bear sees the cow. The bear does not visit the cow. The cow eats the bear. The cow does not visit the bear. If the cow sees the bear and the bear is not round then the cow is rough. If the bear visits the cow and the cow is big then the cow is rough. If something sees the cow then the cow is big.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear does not visit the cow.
("bear" "visits" "cow" "-")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow does not visit the bear.
("cow" "visits" "bear" "-")
If the cow sees the bear and the bear is not round then the cow is rough.
((("cow" "sees" "bear" "+") ("bear" "is" "round" "~")) -> ("cow" "is" "rough" "+"))
If the bear visits the cow and the cow is big then the cow is rough.
((("bear" "visits" "cow" "+") ("cow" "is" "big" "+")) -> ("cow" "is" "rough" "+"))
If something sees the cow then the cow is big.
((("something" "sees" "cow" "+")) -> ("cow" "is" "big" "+"))
The bear sees the cow.
True
1
proof
[(triple4)]
("bear" "sees" "cow" "+")
triple4
The bear visits the cow.
False
1
inv-proof
[(triple5)]
("bear" "visits" "cow" "+")
triple5
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "rough" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear does not visit the cow.[(triple5)] The bear eats the cow.[(triple1)] The bear is kind.[(triple2)] The bear is rough.[(triple3)] The bear sees the cow.[(triple4)] The cow does not visit the bear.[(triple7)] The cow eats the bear.[(triple6)] @1: The cow is big.[(((triple4) -> rule3))]
The bear does not visit the cow.
("bear" "visits" "cow" "-")
triple5
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear sees the cow.
("bear" "sees" "cow" "+")
triple4
The cow does not visit the bear.
("cow" "visits" "bear" "-")
triple7
The cow eats the bear.
("cow" "eats" "bear" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
((triple4) -> (rule3 % int1))
The cow is big.
("cow" "is" "big" "+")
int1