The bear likes the cow. The bear needs the cow. The cat does not chase the bear. The cat is kind. The cat is rough. The cat likes the bear. The cow chases the bear. If something chases the cat then it does not chase the cow. If something likes the cat then the cat does not need the bear. If something chases the bear then the bear chases the cat.
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cat does not chase the bear.
("cat" "chases" "bear" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
If something chases the cat then it does not chase the cow.
((("something" "chases" "cat" "+")) -> ("something" "chases" "cow" "-"))
If something likes the cat then the cat does not need the bear.
((("something" "likes" "cat" "+")) -> ("cat" "needs" "bear" "-"))
If something chases the bear then the bear chases the cat.
((("something" "chases" "bear" "+")) -> ("bear" "chases" "cat" "+"))
The cat is kind.
True
1
proof
[(triple4)]
("cat" "is" "kind" "+")
triple4
The bear does not like the cow.
False
1
inv-proof
[(triple1)]
("bear" "likes" "cow" "-")
triple1
The bear chases the cat.
True
2
proof
[(((triple7) -> rule3))]
("bear" "chases" "cat" "+")
((triple7) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear does not chase the cat.
False
2
inv-proof
[(((triple7) -> rule3))]
("bear" "chases" "cat" "-")
((triple7) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear does not chase the cow.
True
3
proof
[(((((triple7) -> rule3)) -> rule1))]
("bear" "chases" "cow" "-")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bear does not chase the cow.
("bear" "chases" "cow" "-")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear chases the cow.
False
3
inv-proof
[(((((triple7) -> rule3)) -> rule1))]
("bear" "chases" "cow" "+")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bear does not chase the cow.
("bear" "chases" "cow" "-")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cat does not need the bear.
Unknown
inv-random
[@0: The cat needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bear" "-")
The cow chases the cat.
Unknown
random
[@0: The cow chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cat" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear likes the cow.[(triple1)] The bear needs the cow.[(triple2)] The cat does not chase the bear.[(triple3)] The cat is kind.[(triple4)] The cat is rough.[(triple5)] The cat likes the bear.[(triple6)] The cow chases the bear.[(triple7)] @1: The bear chases the cat.[(((triple7) -> rule3))] @2: The bear does not chase the cow.[(((((triple7) -> rule3)) -> rule1))]
The bear likes the cow.
("bear" "likes" "cow" "+")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple2
The cat does not chase the bear.
("cat" "chases" "bear" "-")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat likes the bear.
("cat" "likes" "bear" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The bear chases the cat.
("bear" "chases" "cat" "+")
((triple7) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear does not chase the cow.
("bear" "chases" "cow" "-")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bear does not chase the cow.
("bear" "chases" "cow" "-")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2