The bear eats the cat. The bear is nice. The bear needs the cat. The bear sees the cat. The bear sees the dog. The cat eats the dog. The cat is young. The cat needs the bear. The dog eats the cat. The dog sees the bear. If something eats the dog and it eats the bear then it sees the bear. If something sees the bear then the bear needs the dog. If something needs the dog and the dog sees the bear then the dog needs the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If something eats the dog and it eats the bear then it sees the bear.
((("something" "eats" "dog" "+") ("something" "eats" "bear" "+")) -> ("something" "sees" "bear" "+"))
If something sees the bear then the bear needs the dog.
((("something" "sees" "bear" "+")) -> ("bear" "needs" "dog" "+"))
If something needs the dog and the dog sees the bear then the dog needs the cat.
((("something" "needs" "dog" "+") ("dog" "sees" "bear" "+")) -> ("dog" "needs" "cat" "+"))
The cat eats the dog.
True
1
proof
[(triple6)]
("cat" "eats" "dog" "+")
triple6
The cat does not eat the dog.
False
1
inv-proof
[(triple6)]
("cat" "eats" "dog" "-")
triple6
The bear needs the dog.
True
2
proof
[(((triple10) -> rule2))]
("bear" "needs" "dog" "+")
((triple10) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear does not need the dog.
False
2
inv-proof
[(((triple10) -> rule2))]
("bear" "needs" "dog" "-")
((triple10) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The dog needs the cat.
True
4
proof
[(((((triple10) -> rule2) triple10) -> rule3))]
("dog" "needs" "cat" "+")
((((triple10) -> (rule2 % int2)) triple10) -> (rule3 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The dog does not need the cat.
False
4
inv-proof
[(((((triple10) -> rule2) triple10) -> rule3))]
("dog" "needs" "cat" "-")
((((triple10) -> (rule2 % int2)) triple10) -> (rule3 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bear" "-")
The cat sees the bear.
Unknown
rconc
[@1: The cat sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "bear" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear eats the cat.[(triple1)] The bear is nice.[(triple2)] The bear needs the cat.[(triple3)] The bear sees the cat.[(triple4)] The bear sees the dog.[(triple5)] The cat eats the dog.[(triple6)] The cat is young.[(triple7)] The cat needs the bear.[(triple8)] The dog eats the cat.[(triple9)] The dog sees the bear.[(triple10)] @1: The bear needs the dog.[(((triple10) -> rule2))] @2: The dog needs the cat.[(((((triple10) -> rule2) triple10) -> rule3))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple4
The bear sees the dog.
("bear" "sees" "dog" "+")
triple5
The cat eats the dog.
("cat" "eats" "dog" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cat needs the bear.
("cat" "needs" "bear" "+")
triple8
The dog eats the cat.
("dog" "eats" "cat" "+")
triple9
The dog sees the bear.
("dog" "sees" "bear" "+")
triple10
The bear needs the dog.
("bear" "needs" "dog" "+")
((triple10) -> (rule2 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
((((triple10) -> (rule2 % int2)) triple10) -> (rule3 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2