The cat chases the lion. The cat is cold. The cat is young. The cat needs the squirrel. The lion chases the cat. The squirrel chases the cat. The squirrel needs the cat. The squirrel needs the lion. The squirrel sees the cat. The squirrel sees the lion. If someone needs the cat and they chase the cat then the cat is green. If the squirrel chases the lion and the squirrel sees the lion then the squirrel is cold. If someone needs the lion and they need the squirrel then the lion sees the squirrel.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If someone needs the cat and they chase the cat then the cat is green.
((("someone" "needs" "cat" "+") ("someone" "chases" "cat" "+")) -> ("cat" "is" "green" "+"))
If the squirrel chases the lion and the squirrel sees the lion then the squirrel is cold.
((("squirrel" "chases" "lion" "+") ("squirrel" "sees" "lion" "+")) -> ("squirrel" "is" "cold" "+"))
If someone needs the lion and they need the squirrel then the lion sees the squirrel.
((("someone" "needs" "lion" "+") ("someone" "needs" "squirrel" "+")) -> ("lion" "sees" "squirrel" "+"))
The cat is young.
True
1
proof
[(triple3)]
("cat" "is" "young" "+")
triple3
The cat does not need the squirrel.
False
1
inv-proof
[(triple4)]
("cat" "needs" "squirrel" "-")
triple4
The cat is green.
True
3
proof
[(((triple7 triple6) -> rule1))]
("cat" "is" "green" "+")
((triple7 triple6) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is not green.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("cat" "is" "green" "-")
((triple7 triple6) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The lion does not see the squirrel.
Unknown
inv-rconc
[@1: The lion sees the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "sees" "squirrel" "-")
The squirrel is cold.
Unknown
rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "cold" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The cat chases the lion.[(triple1)] The cat is cold.[(triple2)] The cat is young.[(triple3)] The cat needs the squirrel.[(triple4)] The lion chases the cat.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel needs the cat.[(triple7)] The squirrel needs the lion.[(triple8)] The squirrel sees the cat.[(triple9)] The squirrel sees the lion.[(triple10)] @1: The cat is green.[(((triple7 triple6) -> rule1))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple4
The lion chases the cat.
("lion" "chases" "cat" "+")
triple5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple6
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple7
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple8
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple9
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple10
The cat is green.
("cat" "is" "green" "+")
((triple7 triple6) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1