The bear eats the cat. The bear is big. The bear is young. The bear does not need the cat. The bear sees the cat. The cat eats the bear. The cat is big. The cat is not cold. The cat is young. The cat sees the bear. If something eats the cat then the cat needs the bear. If something eats the cat and it is not cold then the cat does not need the bear. If something needs the bear then it needs the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not need the cat.
("bear" "needs" "cat" "-")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is not cold.
("cat" "is" "cold" "-")
The cat is young.
("cat" "is" "young" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If something eats the cat then the cat needs the bear.
((("something" "eats" "cat" "+")) -> ("cat" "needs" "bear" "+"))
If something eats the cat and it is not cold then the cat does not need the bear.
((("something" "eats" "cat" "+") ("something" "is" "cold" "~")) -> ("cat" "needs" "bear" "-"))
If something needs the bear then it needs the cat.
((("something" "needs" "bear" "+")) -> ("something" "needs" "cat" "+"))
The bear is big.
True
1
proof
[(triple2)]
("bear" "is" "big" "+")
triple2
The bear does not eat the cat.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cat" "-")
triple1
The cat needs the bear.
True
2
proof
[(((triple1) -> rule1))]
("cat" "needs" "bear" "+")
((triple1) -> (rule1 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat does not need the bear.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "needs" "bear" "-")
((triple1) -> (rule1 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat needs the cat.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("cat" "needs" "cat" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat does not need the cat.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("cat" "needs" "cat" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
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 bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
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 eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bear does not need the cat.[(triple4)] The bear eats the cat.[(triple1)] The bear is big.[(triple2)] The bear is young.[(triple3)] The bear sees the cat.[(triple5)] The cat eats the bear.[(triple6)] The cat is big.[(triple7)] The cat is not cold.[(triple8)] The cat is young.[(triple9)] The cat sees the bear.[(triple10)] @1: The cat needs the bear.[(((triple1) -> rule1))] @2: The cat needs the cat.[(((((triple1) -> rule1)) -> rule3))]
The bear does not need the cat.
("bear" "needs" "cat" "-")
triple4
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple5
The cat eats the bear.
("cat" "eats" "bear" "+")
triple6
The cat is big.
("cat" "is" "big" "+")
triple7
The cat is not cold.
("cat" "is" "cold" "-")
triple8
The cat is young.
("cat" "is" "young" "+")
triple9
The cat sees the bear.
("cat" "sees" "bear" "+")
triple10
The cat needs the bear.
("cat" "needs" "bear" "+")
((triple1) -> (rule1 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2