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