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