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