The dog chases the mouse. The dog is green. The dog is red. The dog is round. The dog likes the mouse. The mouse chases the dog. The mouse chases the squirrel. The mouse is green. The mouse likes the squirrel. The mouse sees the dog. The squirrel chases the dog. The squirrel chases the mouse. The squirrel is big. The squirrel is green. The squirrel likes the mouse. The squirrel sees the mouse. If someone likes the mouse and they see the squirrel then the mouse likes the dog. If someone likes the squirrel and they like the mouse then the mouse likes the dog. If someone likes the mouse and they see the dog then they like the squirrel. If someone sees the dog and they see the squirrel then they see the mouse. If someone is green then they see the dog. If someone chases the squirrel and they are nice then they see the squirrel. If someone sees the squirrel and they see the dog then the squirrel sees the dog. If someone sees the squirrel then the squirrel is big.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If someone likes the mouse and they see the squirrel then the mouse likes the dog.
((("someone" "likes" "mouse" "+") ("someone" "sees" "squirrel" "+")) -> ("mouse" "likes" "dog" "+"))
If someone likes the squirrel and they like the mouse then the mouse likes the dog.
((("someone" "likes" "squirrel" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "likes" "dog" "+"))
If someone likes the mouse and they see the dog then they like the squirrel.
((("someone" "likes" "mouse" "+") ("someone" "sees" "dog" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone sees the dog and they see the squirrel then they see the mouse.
((("someone" "sees" "dog" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "sees" "mouse" "+"))
If someone is green then they see the dog.
((("someone" "is" "green" "+")) -> ("someone" "sees" "dog" "+"))
If someone chases the squirrel and they are nice then they see the squirrel.
((("someone" "chases" "squirrel" "+") ("someone" "is" "nice" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone sees the squirrel and they see the dog then the squirrel sees the dog.
((("someone" "sees" "squirrel" "+") ("someone" "sees" "dog" "+")) -> ("squirrel" "sees" "dog" "+"))
If someone sees the squirrel then the squirrel is big.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
The mouse chases the dog.
True
1
proof
[(triple6)]
("mouse" "chases" "dog" "+")
triple6
The squirrel does not see the mouse.
False
1
inv-proof
[(triple16)]
("squirrel" "sees" "mouse" "-")
triple16
The dog sees the dog.
True
2
proof
[(((triple2) -> rule5))]
("dog" "sees" "dog" "+")
((triple2) -> (rule5 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The squirrel does not see the dog.
False
2
inv-proof
[(((triple14) -> rule5))]
("squirrel" "sees" "dog" "-")
((triple14) -> (rule5 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The dog does not see the mouse.
Unknown
inv-rconc
[@2: The dog sees the mouse.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("dog" "sees" "mouse" "-")
The dog sees the squirrel.
Unknown
rconc
[@1: The dog sees the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "sees" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel likes the dog.
Unknown
random
[@0: The squirrel likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "dog" "+")
@0: The dog chases the mouse.[(triple1)] The dog is green.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog likes the mouse.[(triple5)] The mouse chases the dog.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse is green.[(triple8)] The mouse likes the squirrel.[(triple9)] The mouse sees the dog.[(triple10 OR ((triple8) -> rule5))] The squirrel chases the dog.[(triple11)] The squirrel chases the mouse.[(triple12)] The squirrel is big.[(triple13)] The squirrel is green.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The dog sees the dog.[(((triple2) -> rule5))] The squirrel sees the dog.[(((triple14) -> rule5))] @2: The dog likes the squirrel.[(((triple5 ((triple2) -> rule5)) -> rule3))] The squirrel likes the squirrel.[(((triple15 ((triple14) -> rule5)) -> rule3))] @3: The mouse likes the dog.[(((((triple15 ((triple14) -> rule5)) -> rule3) triple15) -> rule2) OR ((((triple5 ((triple2) -> rule5)) -> rule3) triple5) -> rule2))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple5
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple6
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple9
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple10
((triple8) -> (rule5 % int1))
The mouse sees the dog.
("mouse" "sees" "dog" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple11
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple13
The squirrel is green.
("squirrel" "is" "green" "+")
triple14
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple15
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple16
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple2) -> (rule5 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
((triple14) -> (rule5 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple5 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple15 ((triple14) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int2
The mouse likes the dog.
("mouse" "likes" "dog" "+")
((((triple15 ((triple14) -> (rule5 % int3))) -> (rule3 % int2)) triple15) -> (rule2 % int1))
The mouse likes the dog.
("mouse" "likes" "dog" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int3
((((triple5 ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The mouse likes the dog.
("mouse" "likes" "dog" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int2
The dog sees the dog.
("dog" "sees" "dog" "+")
int3