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