The bear eats the cat. The bear is big. The bear is blue. The bear is kind. The bear is nice. The bear is young. The bear needs the cat. The bear visits the cat. The cat eats the bear. The cat is big. The cat is blue. The cat is kind. The cat is nice. The cat is young. The cat needs the bear. The cat visits the bear. If something visits the bear and the bear eats the cat then it eats the bear. If something visits the cat and the cat needs the bear then it visits the bear. If something visits the cat then the cat needs the bear.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
If something visits the bear and the bear eats the cat then it eats the bear.
((("something" "visits" "bear" "+") ("bear" "eats" "cat" "+")) -> ("something" "eats" "bear" "+"))
If something visits the cat and the cat needs the bear then it visits the bear.
((("something" "visits" "cat" "+") ("cat" "needs" "bear" "+")) -> ("something" "visits" "bear" "+"))
If something visits the cat then the cat needs the bear.
((("something" "visits" "cat" "+")) -> ("cat" "needs" "bear" "+"))
The cat is kind.
True
1
proof
[(triple12)]
("cat" "is" "kind" "+")
triple12
The bear is not nice.
False
1
inv-proof
[(triple5)]
("bear" "is" "nice" "-")
triple5
The bear visits the bear.
True
3
proof
[(((triple8 triple15) -> rule2) OR ((triple8 ((triple8) -> rule3)) -> rule2))]
("bear" "visits" "bear" "+")
((triple8 triple15) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
((triple8 ((triple8) -> (rule3 % int2))) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear does not visit the bear.
False
3
inv-proof
[(((triple8 triple15) -> rule2) OR ((triple8 ((triple8) -> rule3)) -> rule2))]
("bear" "visits" "bear" "-")
((triple8 triple15) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
((triple8 ((triple8) -> (rule3 % int2))) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear eats the bear.
True
5
proof
[(((((triple8 triple15) -> rule2) triple1) -> rule1) OR ((((triple8 ((triple8) -> rule3)) -> rule2) triple1) -> rule1))]
("bear" "eats" "bear" "+")
((((triple8 triple15) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
((((triple8 ((triple8) -> (rule3 % int3))) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The bear does not eat the bear.
False
5
inv-proof
[(((((triple8 triple15) -> rule2) triple1) -> rule1) OR ((((triple8 ((triple8) -> rule3)) -> rule2) triple1) -> rule1))]
("bear" "eats" "bear" "-")
((((triple8 triple15) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
((((triple8 ((triple8) -> (rule3 % int3))) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
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 eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
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 eats the cat.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is young.[(triple6)] The bear needs the cat.[(triple7)] The bear visits the cat.[(triple8)] The cat eats the bear.[(triple9 OR ((triple16 triple1) -> rule1))] The cat is big.[(triple10)] The cat is blue.[(triple11)] The cat is kind.[(triple12)] The cat is nice.[(triple13)] The cat is young.[(triple14)] The cat needs the bear.[(triple15 OR ((triple8) -> rule3))] The cat visits the bear.[(triple16)] @1: The bear visits the bear.[(((triple8 triple15) -> rule2) OR ((triple8 ((triple8) -> rule3)) -> rule2))] @2: The bear eats the bear.[(((((triple8 triple15) -> rule2) triple1) -> rule1) OR ((((triple8 ((triple8) -> rule3)) -> rule2) triple1) -> rule1))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear needs the cat.
("bear" "needs" "cat" "+")
triple7
The bear visits the cat.
("bear" "visits" "cat" "+")
triple8
The cat eats the bear.
("cat" "eats" "bear" "+")
triple9
((triple16 triple1) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat is big.
("cat" "is" "big" "+")
triple10
The cat is blue.
("cat" "is" "blue" "+")
triple11
The cat is kind.
("cat" "is" "kind" "+")
triple12
The cat is nice.
("cat" "is" "nice" "+")
triple13
The cat is young.
("cat" "is" "young" "+")
triple14
The cat needs the bear.
("cat" "needs" "bear" "+")
triple15
((triple8) -> (rule3 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
triple16
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple8 triple15) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
((triple8 ((triple8) -> (rule3 % int2))) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
((((triple8 triple15) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
((((triple8 ((triple8) -> (rule3 % int3))) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3