The bear eats the cow. The bear is cold. The cow eats the bear. If someone is cold then they are rough. If someone chases the bear and they chase the cow then the bear eats the cow.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is cold.
("bear" "is" "cold" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
If someone is cold then they are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone chases the bear and they chase the cow then the bear eats the cow.
((("someone" "chases" "bear" "+") ("someone" "chases" "cow" "+")) -> ("bear" "eats" "cow" "+"))
The cow eats the bear.
True
1
proof
[(triple3)]
("cow" "eats" "bear" "+")
triple3
The cow does not eat the bear.
False
1
inv-proof
[(triple3)]
("cow" "eats" "bear" "-")
triple3
The bear is rough.
True
2
proof
[(((triple2) -> rule1))]
("bear" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "is" "rough" "-")
((triple2) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
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 chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The cow does not like the bear.
Unknown
inv-random
[@0: The cow likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bear" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The bear eats the cow.[(triple1)] The bear is cold.[(triple2)] The cow eats the bear.[(triple3)] @1: The bear is rough.[(((triple2) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The cow eats the bear.
("cow" "eats" "bear" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1