The bear does not eat the cat. The bear is rough. The bear needs the cat. The bear visits the cow. The cat eats the cow. The cat is nice. The cat is not red. The cat is not round. The cat needs the bear. The cat does not need the cow. The cat visits the bear. The cow eats the bear. The cow is big. The cow is red. The cow visits the cat. If someone visits the cat and they need the cow then the cat does not need the cow. If someone visits the cat and they need the cow then they are red. If someone is red and big then they eat the cow.
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is not red.
("cat" "is" "red" "-")
The cat is not round.
("cat" "is" "round" "-")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat does not need the cow.
("cat" "needs" "cow" "-")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is red.
("cow" "is" "red" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
If someone visits the cat and they need the cow then the cat does not need the cow.
((("someone" "visits" "cat" "+") ("someone" "needs" "cow" "+")) -> ("cat" "needs" "cow" "-"))
If someone visits the cat and they need the cow then they are red.
((("someone" "visits" "cat" "+") ("someone" "needs" "cow" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big then they eat the cow.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "eats" "cow" "+"))
The cat is nice.
True
1
proof
[(triple6)]
("cat" "is" "nice" "+")
triple6
The cow is not big.
False
1
inv-proof
[(triple13)]
("cow" "is" "big" "-")
triple13
The cow eats the cow.
True
3
proof
[(((triple14 triple13) -> rule3))]
("cow" "eats" "cow" "+")
((triple14 triple13) -> (rule3 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow does not eat the cow.
False
3
inv-proof
[(((triple14 triple13) -> rule3))]
("cow" "eats" "cow" "-")
((triple14 triple13) -> (rule3 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The bear does not eat the cow.
Unknown
inv-rconc
[@1: The bear eats the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "cow" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "red" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The cat eats the bear.
Unknown
random
[@0: The cat eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bear" "+")
@0: The bear does not eat the cat.[(triple1)] The bear is rough.[(triple2)] The bear needs the cat.[(triple3)] The bear visits the cow.[(triple4)] The cat does not need the cow.[(triple10)] The cat eats the cow.[(triple5)] The cat is nice.[(triple6)] The cat is not red.[(triple7)] The cat is not round.[(triple8)] The cat needs the bear.[(triple9)] The cat visits the bear.[(triple11)] The cow eats the bear.[(triple12)] The cow is big.[(triple13)] The cow is red.[(triple14)] The cow visits the cat.[(triple15)] @1: The cow eats the cow.[(((triple14 triple13) -> rule3))]
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The bear visits the cow.
("bear" "visits" "cow" "+")
triple4
The cat does not need the cow.
("cat" "needs" "cow" "-")
triple10
The cat eats the cow.
("cat" "eats" "cow" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cat is not red.
("cat" "is" "red" "-")
triple7
The cat is not round.
("cat" "is" "round" "-")
triple8
The cat needs the bear.
("cat" "needs" "bear" "+")
triple9
The cat visits the bear.
("cat" "visits" "bear" "+")
triple11
The cow eats the bear.
("cow" "eats" "bear" "+")
triple12
The cow is big.
("cow" "is" "big" "+")
triple13
The cow is red.
("cow" "is" "red" "+")
triple14
The cow visits the cat.
("cow" "visits" "cat" "+")
triple15
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple14 triple13) -> (rule3 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1