The bear eats the dog. The bear is kind. The bear likes the dog. The bear needs the dog. The dog eats the bear. The dog is big. The dog is green. The dog is kind. The dog is nice. The dog is young. The dog likes the bear. The dog needs the bear. If something needs the dog then it is green. If something eats the bear then it likes the dog. If something needs the bear and it needs the dog then the dog needs the bear. If something eats the bear then the bear eats the dog. If something eats the bear then it likes the bear. If something needs the dog then the dog is young. If the bear needs the dog then the dog is young. If something likes the bear then the bear eats the dog.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If something needs the dog then it is green.
((("something" "needs" "dog" "+")) -> ("something" "is" "green" "+"))
If something eats the bear then it likes the dog.
((("something" "eats" "bear" "+")) -> ("something" "likes" "dog" "+"))
If something needs the bear and it needs the dog then the dog needs the bear.
((("something" "needs" "bear" "+") ("something" "needs" "dog" "+")) -> ("dog" "needs" "bear" "+"))
If something eats the bear then the bear eats the dog.
((("something" "eats" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If something eats the bear then it likes the bear.
((("something" "eats" "bear" "+")) -> ("something" "likes" "bear" "+"))
If something needs the dog then the dog is young.
((("something" "needs" "dog" "+")) -> ("dog" "is" "young" "+"))
If the bear needs the dog then the dog is young.
((("bear" "needs" "dog" "+")) -> ("dog" "is" "young" "+"))
If something likes the bear then the bear eats the dog.
((("something" "likes" "bear" "+")) -> ("bear" "eats" "dog" "+"))
The dog needs the bear.
True
1
proof
[(triple12)]
("dog" "needs" "bear" "+")
triple12
The bear does not eat the dog.
False
1
inv-proof
[(triple1 OR ((triple11) -> rule8) OR ((triple5) -> rule4) OR ((((triple5) -> rule5)) -> rule8))]
("bear" "eats" "dog" "-")
triple1
((triple11) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((triple5) -> (rule4 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The bear is green.
True
2
proof
[(((triple4) -> rule1))]
("bear" "is" "green" "+")
((triple4) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple4) -> rule1))]
("bear" "is" "green" "-")
((triple4) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "likes" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
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 is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear eats the dog.[(triple1 OR ((triple11) -> rule8) OR ((triple5) -> rule4) OR ((((triple5) -> rule5)) -> rule8))] The bear is kind.[(triple2)] The bear likes the dog.[(triple3)] The bear needs the dog.[(triple4)] The dog eats the bear.[(triple5)] The dog is big.[(triple6)] The dog is green.[(triple7)] The dog is kind.[(triple8)] The dog is nice.[(triple9)] The dog is young.[(triple10 OR ((triple4) -> rule6) OR ((triple4) -> rule7))] The dog likes the bear.[(triple11 OR ((triple5) -> rule5))] The dog needs the bear.[(triple12)] @1: The bear is green.[(((triple4) -> rule1))] The dog likes the dog.[(((triple5) -> rule2))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
((triple11) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((triple5) -> (rule4 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The dog eats the bear.
("dog" "eats" "bear" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple6
The dog is green.
("dog" "is" "green" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is young.
("dog" "is" "young" "+")
triple10
((triple4) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((triple4) -> (rule7 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
triple11
((triple5) -> (rule5 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
triple12
The bear is green.
("bear" "is" "green" "+")
((triple4) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple5) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1