The bear is blue. The bear is nice. The bear needs the mouse. The bear sees the dog. The dog chases the bear. The dog chases the mouse. The dog is blue. The dog is not red. The dog needs the bear. The dog does not need the mouse. The dog sees the bear. The dog sees the mouse. The mouse does not chase the dog. The mouse is round. The mouse is young. The mouse needs the dog. If something sees the dog and the dog chases the bear then the dog sees the mouse. If the bear chases the dog and the dog needs the bear then the dog is red. If something is round and not young then it needs the bear. If something is red then it sees the dog. If the dog needs the mouse and the dog does not chase the bear then the mouse does not see the bear. If the bear sees the dog then the bear sees the mouse.
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is not red.
("dog" "is" "red" "-")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If something sees the dog and the dog chases the bear then the dog sees the mouse.
((("something" "sees" "dog" "+") ("dog" "chases" "bear" "+")) -> ("dog" "sees" "mouse" "+"))
If the bear chases the dog and the dog needs the bear then the dog is red.
((("bear" "chases" "dog" "+") ("dog" "needs" "bear" "+")) -> ("dog" "is" "red" "+"))
If something is round and not young then it needs the bear.
((("something" "is" "round" "+") ("something" "is" "young" "~")) -> ("something" "needs" "bear" "+"))
If something is red then it sees the dog.
((("something" "is" "red" "+")) -> ("something" "sees" "dog" "+"))
If the dog needs the mouse and the dog does not chase the bear then the mouse does not see the bear.
((("dog" "needs" "mouse" "+") ("dog" "chases" "bear" "~")) -> ("mouse" "sees" "bear" "-"))
If the bear sees the dog then the bear sees the mouse.
((("bear" "sees" "dog" "+")) -> ("bear" "sees" "mouse" "+"))
The dog sees the mouse.
True
1
proof
[(triple12 OR ((triple4 triple5) -> rule1))]
("dog" "sees" "mouse" "+")
triple12
((triple4 triple5) -> (rule1 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The dog needs the mouse.
False
1
inv-proof
[(triple10)]
("dog" "needs" "mouse" "+")
triple10
The mouse does not see the dog.
Unknown
inv-rconc
[@1: The mouse sees the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "sees" "dog" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The bear is blue.[(triple1)] The bear is nice.[(triple2)] The bear needs the mouse.[(triple3)] The bear sees the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the mouse.[(triple6)] The dog does not need the mouse.[(triple10)] The dog is blue.[(triple7)] The dog is not red.[(triple8)] The dog needs the bear.[(triple9)] The dog sees the bear.[(triple11)] The dog sees the mouse.[(triple12 OR ((triple4 triple5) -> rule1))] The mouse does not chase the dog.[(triple13)] The mouse is round.[(triple14)] The mouse is young.[(triple15)] The mouse needs the dog.[(triple16)] @1: The bear sees the mouse.[(((triple4) -> rule6))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple3
The bear sees the dog.
("bear" "sees" "dog" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple6
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
triple10
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is not red.
("dog" "is" "red" "-")
triple8
The dog needs the bear.
("dog" "needs" "bear" "+")
triple9
The dog sees the bear.
("dog" "sees" "bear" "+")
triple11
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple12
((triple4 triple5) -> (rule1 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
triple13
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse is young.
("mouse" "is" "young" "+")
triple15
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple16
The bear sees the mouse.
("bear" "sees" "mouse" "+")
((triple4) -> (rule6 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1