The bear chases the cat. The bear eats the cat. The bear is young. The cat does not chase the bear. The cat eats the bear. The cat is cold. The cat does not need the bear. If someone chases the cat then they need the cat. If someone eats the bear and they do not need the bear then they need the cat. If the cat chases the bear then the cat is young. If someone chases the bear then the bear needs the cat. If someone chases the bear and the bear chases the cat then the bear does not need the cat. If someone needs the cat then they eat the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is young.
("bear" "is" "young" "+")
The cat does not chase the bear.
("cat" "chases" "bear" "-")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat does not need the bear.
("cat" "needs" "bear" "-")
If someone chases the cat then they need the cat.
((("someone" "chases" "cat" "+")) -> ("someone" "needs" "cat" "+"))
If someone eats the bear and they do not need the bear then they need the cat.
((("someone" "eats" "bear" "+") ("someone" "needs" "bear" "~")) -> ("someone" "needs" "cat" "+"))
If the cat chases the bear then the cat is young.
((("cat" "chases" "bear" "+")) -> ("cat" "is" "young" "+"))
If someone chases the bear then the bear needs the cat.
((("someone" "chases" "bear" "+")) -> ("bear" "needs" "cat" "+"))
If someone chases the bear and the bear chases the cat then the bear does not need the cat.
((("someone" "chases" "bear" "+") ("bear" "chases" "cat" "+")) -> ("bear" "needs" "cat" "-"))
If someone needs the cat then they eat the cat.
((("someone" "needs" "cat" "+")) -> ("someone" "eats" "cat" "+"))
The cat does not chase the bear.
True
1
proof
[(triple4)]
("cat" "chases" "bear" "-")
triple4
The cat does not eat the bear.
False
1
inv-proof
[(triple5)]
("cat" "eats" "bear" "-")
triple5
The bear needs the cat.
True
2
proof
[(((triple1) -> rule1))]
("bear" "needs" "cat" "+")
((triple1) -> (rule1 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The cat does not need the cat.
False
3
inv-proof
[(((triple5 triple7) -> rule2))]
("cat" "needs" "cat" "-")
((triple5 triple7) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat eats the cat.
True
4
proof
[(((((triple5 triple7) -> rule2)) -> rule6))]
("cat" "eats" "cat" "+")
((((triple5 triple7) -> (rule2 % int2))) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat does not eat the cat.
False
4
inv-proof
[(((((triple5 triple7) -> rule2)) -> rule6))]
("cat" "eats" "cat" "-")
((((triple5 triple7) -> (rule2 % int2))) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "young" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
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 chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2 OR ((((triple1) -> rule1)) -> rule6))] The bear is young.[(triple3)] The cat does not chase the bear.[(triple4)] The cat does not need the bear.[(triple7)] The cat eats the bear.[(triple5)] The cat is cold.[(triple6)] @1: The bear needs the cat.[(((triple1) -> rule1))] The cat needs the cat.[(((triple5 triple7) -> rule2))] @2: The cat eats the cat.[(((((triple5 triple7) -> rule2)) -> rule6))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2
The bear is young.
("bear" "is" "young" "+")
triple3
The cat does not chase the bear.
("cat" "chases" "bear" "-")
triple4
The cat does not need the bear.
("cat" "needs" "bear" "-")
triple7
The cat eats the bear.
("cat" "eats" "bear" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The bear needs the cat.
("bear" "needs" "cat" "+")
((triple1) -> (rule1 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple5 triple7) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((((triple5 triple7) -> (rule2 % int2))) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2