The bear likes the dog. The dog needs the bear. If something eats the bear and the bear likes the dog then it is big. If the dog likes the bear then the dog is red. If something is big then it likes the dog. If something likes the dog then it needs the dog. If something needs the dog then the dog needs the bear. If the bear needs the dog and the bear likes the dog then the bear eats the dog. If something likes the dog then the dog is red. If something likes the bear then the bear eats the dog.
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If something eats the bear and the bear likes the dog then it is big.
((("something" "eats" "bear" "+") ("bear" "likes" "dog" "+")) -> ("something" "is" "big" "+"))
If the dog likes the bear then the dog is red.
((("dog" "likes" "bear" "+")) -> ("dog" "is" "red" "+"))
If something is big then it likes the dog.
((("something" "is" "big" "+")) -> ("something" "likes" "dog" "+"))
If something likes the dog then it needs the dog.
((("something" "likes" "dog" "+")) -> ("something" "needs" "dog" "+"))
If something needs the dog then the dog needs the bear.
((("something" "needs" "dog" "+")) -> ("dog" "needs" "bear" "+"))
If the bear needs the dog and the bear likes the dog then the bear eats the dog.
((("bear" "needs" "dog" "+") ("bear" "likes" "dog" "+")) -> ("bear" "eats" "dog" "+"))
If something likes the dog then the dog is red.
((("something" "likes" "dog" "+")) -> ("dog" "is" "red" "+"))
If something likes the bear then the bear eats the dog.
((("something" "likes" "bear" "+")) -> ("bear" "eats" "dog" "+"))
The bear likes the dog.
True
1
proof
[(triple1)]
("bear" "likes" "dog" "+")
triple1
The bear does not like the dog.
False
1
inv-proof
[(triple1)]
("bear" "likes" "dog" "-")
triple1
The dog is red.
True
2
proof
[(((triple1) -> rule7))]
("dog" "is" "red" "+")
((triple1) -> (rule7 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bear does not need the dog.
False
2
inv-proof
[(((triple1) -> rule4))]
("bear" "needs" "dog" "-")
((triple1) -> (rule4 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear eats the dog.
True
4
proof
[(((((triple1) -> rule4) triple1) -> rule6))]
("bear" "eats" "dog" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The bear does not eat the dog.
False
4
inv-proof
[(((((triple1) -> rule4) triple1) -> rule6))]
("bear" "eats" "dog" "-")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The dog does not like the dog.
Unknown
inv-rconc
[@2: The dog likes the dog.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("dog" "likes" "dog" "-")
The dog is big.
Unknown
rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "big" "+")
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "big" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear likes the dog.[(triple1)] The dog needs the bear.[(triple2 OR ((((triple1) -> rule4)) -> rule5))] @1: The bear needs the dog.[(((triple1) -> rule4))] The dog is red.[(((triple1) -> rule7))] @2: The bear eats the dog.[(((((triple1) -> rule4) triple1) -> rule6))]
The bear likes the dog.
("bear" "likes" "dog" "+")
triple1
The dog needs the bear.
("dog" "needs" "bear" "+")
triple2
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
((triple1) -> (rule4 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((triple1) -> (rule7 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2