The bear eats the cow. The bear is blue. The bear is cold. The bear is rough. The bear sees the cow. The bear visits the cow. The cow is blue. The cow is cold. The cow is not kind. The cow is not rough. The cow does not see the bear. The cow visits the bear. If someone visits the cow and they are rough then they eat the bear. If someone visits the cow and the cow visits the bear then the bear eats the cow.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
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 is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is not rough.
("cow" "is" "rough" "-")
The cow does not see the bear.
("cow" "sees" "bear" "-")
The cow visits the bear.
("cow" "visits" "bear" "+")
If someone visits the cow and they are rough then they eat the bear.
((("someone" "visits" "cow" "+") ("someone" "is" "rough" "+")) -> ("someone" "eats" "bear" "+"))
If someone visits the cow and the cow visits the bear then the bear eats the cow.
((("someone" "visits" "cow" "+") ("cow" "visits" "bear" "+")) -> ("bear" "eats" "cow" "+"))
The cow is not kind.
True
1
proof
[(triple9)]
("cow" "is" "kind" "-")
triple9
The bear does not see the cow.
False
1
inv-proof
[(triple5)]
("bear" "sees" "cow" "-")
triple5
The bear eats the bear.
True
3
proof
[(((triple6 triple4) -> rule1))]
("bear" "eats" "bear" "+")
((triple6 triple4) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear does not eat the bear.
False
3
inv-proof
[(((triple6 triple4) -> rule1))]
("bear" "eats" "bear" "-")
((triple6 triple4) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The cow does not eat the bear.
Unknown
inv-rconc
[@1: The cow eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "bear" "-")
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 big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear eats the cow.[(triple1 OR ((triple6 triple12) -> rule2))] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is rough.[(triple4)] The bear sees the cow.[(triple5)] The bear visits the cow.[(triple6)] The cow does not see the bear.[(triple11)] The cow is blue.[(triple7)] The cow is cold.[(triple8)] The cow is not kind.[(triple9)] The cow is not rough.[(triple10)] The cow visits the bear.[(triple12)] @1: The bear eats the bear.[(((triple6 triple4) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
((triple6 triple12) -> (rule2 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear sees the cow.
("bear" "sees" "cow" "+")
triple5
The bear visits the cow.
("bear" "visits" "cow" "+")
triple6
The cow does not see the bear.
("cow" "sees" "bear" "-")
triple11
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is cold.
("cow" "is" "cold" "+")
triple8
The cow is not kind.
("cow" "is" "kind" "-")
triple9
The cow is not rough.
("cow" "is" "rough" "-")
triple10
The cow visits the bear.
("cow" "visits" "bear" "+")
triple12
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple6 triple4) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1