The bear chases the cat. The bear eats the cow. The bear is kind. The bear is young. The cat chases the bear. The cat chases the cow. The cat is big. The cat needs the cow. The cow chases the cat. The cow is big. The cow is kind. The cow needs the cat. If the cat is big then the cat is round.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is young.
("bear" "is" "young" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
If the cat is big then the cat is round.
((("cat" "is" "big" "+")) -> ("cat" "is" "round" "+"))
The cat needs the cow.
True
1
proof
[(triple8)]
("cat" "needs" "cow" "+")
triple8
The bear does not eat the cow.
False
1
inv-proof
[(triple2)]
("bear" "eats" "cow" "-")
triple2
The cat is round.
True
2
proof
[(((triple7) -> rule1))]
("cat" "is" "round" "+")
((triple7) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("cat" "is" "round" "-")
((triple7) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
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 cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
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 is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
@0: The bear chases the cat.[(triple1)] The bear eats the cow.[(triple2)] The bear is kind.[(triple3)] The bear is young.[(triple4)] The cat chases the bear.[(triple5)] The cat chases the cow.[(triple6)] The cat is big.[(triple7)] The cat needs the cow.[(triple8)] The cow chases the cat.[(triple9)] The cow is big.[(triple10)] The cow is kind.[(triple11)] The cow needs the cat.[(triple12)] @1: The cat is round.[(((triple7) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
The cat chases the cow.
("cat" "chases" "cow" "+")
triple6
The cat is big.
("cat" "is" "big" "+")
triple7
The cat needs the cow.
("cat" "needs" "cow" "+")
triple8
The cow chases the cat.
("cow" "chases" "cat" "+")
triple9
The cow is big.
("cow" "is" "big" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
triple11
The cow needs the cat.
("cow" "needs" "cat" "+")
triple12
The cat is round.
("cat" "is" "round" "+")
((triple7) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1