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