The dog is rough. The dog sees the squirrel. The lion is nice. The lion sees the mouse. The lion sees the squirrel. The mouse chases the lion. The squirrel is big. The squirrel is blue. The squirrel sees the dog. The squirrel visits the mouse. If someone sees the squirrel then the squirrel is rough. If someone sees the lion and the lion sees the squirrel then the squirrel is blue. If someone chases the squirrel and they see the lion then the lion chases the squirrel.
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone sees the squirrel then the squirrel is rough.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone sees the lion and the lion sees the squirrel then the squirrel is blue.
((("someone" "sees" "lion" "+") ("lion" "sees" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If someone chases the squirrel and they see the lion then the lion chases the squirrel.
((("someone" "chases" "squirrel" "+") ("someone" "sees" "lion" "+")) -> ("lion" "chases" "squirrel" "+"))
The lion sees the mouse.
True
1
proof
[(triple4)]
("lion" "sees" "mouse" "+")
triple4
The squirrel does not see the dog.
False
1
inv-proof
[(triple9)]
("squirrel" "sees" "dog" "-")
triple9
The squirrel is rough.
True
2
proof
[(((triple2) -> rule1) OR ((triple5) -> rule1))]
("squirrel" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple5) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple2) -> rule1) OR ((triple5) -> rule1))]
("squirrel" "is" "rough" "-")
((triple2) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple5) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The lion does not chase the squirrel.
Unknown
inv-rconc
[@1: The lion chases the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "chases" "squirrel" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The mouse chases the squirrel.
Unknown
random
[@0: The mouse chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "squirrel" "+")
@0: The dog is rough.[(triple1)] The dog sees the squirrel.[(triple2)] The lion is nice.[(triple3)] The lion sees the mouse.[(triple4)] The lion sees the squirrel.[(triple5)] The mouse chases the lion.[(triple6)] The squirrel is big.[(triple7)] The squirrel is blue.[(triple8)] The squirrel sees the dog.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The squirrel is rough.[(((triple2) -> rule1) OR ((triple5) -> rule1))]
The dog is rough.
("dog" "is" "rough" "+")
triple1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple4
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple5
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple6
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple9
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple5) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1