The bear does not eat the cow. The bear visits the cow. The cat is big. The cat visits the bear. The cow eats the bear. The cow eats the cat. The cow does not visit the cat. If someone visits the cow and they eat the cow then they need the bear. If someone is nice and they eat the bear then they are rough. If someone visits the cow then the cow is nice.
The bear does not eat the cow.
("bear" "eats" "cow" "-")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow does not visit the cat.
("cow" "visits" "cat" "-")
If someone visits the cow and they eat the cow then they need the bear.
((("someone" "visits" "cow" "+") ("someone" "eats" "cow" "+")) -> ("someone" "needs" "bear" "+"))
If someone is nice and they eat the bear then they are rough.
((("someone" "is" "nice" "+") ("someone" "eats" "bear" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the cow then the cow is nice.
((("someone" "visits" "cow" "+")) -> ("cow" "is" "nice" "+"))
The bear visits the cow.
True
1
proof
[(triple2)]
("bear" "visits" "cow" "+")
triple2
The bear eats the cow.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cow" "+")
triple1
The cow is nice.
True
2
proof
[(((triple2) -> rule3))]
("cow" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is not nice.
False
2
inv-proof
[(((triple2) -> rule3))]
("cow" "is" "nice" "-")
((triple2) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is rough.
True
4
proof
[(((((triple2) -> rule3) triple5) -> rule2))]
("cow" "is" "rough" "+")
((((triple2) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is not rough.
False
4
inv-proof
[(((((triple2) -> rule3) triple5) -> rule2))]
("cow" "is" "rough" "-")
((((triple2) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "-")
The cat is rough.
Unknown
rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "rough" "+")
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "bear" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The bear does not need the cow.
Unknown
inv-random
[@0: The bear needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cow" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The bear does not eat the cow.[(triple1)] The bear visits the cow.[(triple2)] The cat is big.[(triple3)] The cat visits the bear.[(triple4)] The cow does not visit the cat.[(triple7)] The cow eats the bear.[(triple5)] The cow eats the cat.[(triple6)] @1: The cow is nice.[(((triple2) -> rule3))] @2: The cow is rough.[(((((triple2) -> rule3) triple5) -> rule2))]
The bear does not eat the cow.
("bear" "eats" "cow" "-")
triple1
The bear visits the cow.
("bear" "visits" "cow" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat visits the bear.
("cat" "visits" "bear" "+")
triple4
The cow does not visit the cat.
("cow" "visits" "cat" "-")
triple7
The cow eats the bear.
("cow" "eats" "bear" "+")
triple5
The cow eats the cat.
("cow" "eats" "cat" "+")
triple6
The cow is nice.
("cow" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((((triple2) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2