The lion is not red. The lion likes the squirrel. The lion needs the squirrel. The squirrel is red. The squirrel is round. The squirrel likes the lion. The squirrel visits the lion. If the squirrel likes the lion then the lion visits the squirrel. If someone visits the lion then the lion visits the squirrel. If the squirrel needs the lion then the lion visits the squirrel. If someone visits the squirrel and they are kind then the squirrel needs the lion. If someone needs the squirrel and the squirrel needs the lion then the squirrel is kind. If the lion visits the squirrel and the squirrel needs the lion then the squirrel likes the lion.
The lion is not red.
("lion" "is" "red" "-")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the squirrel likes the lion then the lion visits the squirrel.
((("squirrel" "likes" "lion" "+")) -> ("lion" "visits" "squirrel" "+"))
If someone visits the lion then the lion visits the squirrel.
((("someone" "visits" "lion" "+")) -> ("lion" "visits" "squirrel" "+"))
If the squirrel needs the lion then the lion visits the squirrel.
((("squirrel" "needs" "lion" "+")) -> ("lion" "visits" "squirrel" "+"))
If someone visits the squirrel and they are kind then the squirrel needs the lion.
((("someone" "visits" "squirrel" "+") ("someone" "is" "kind" "+")) -> ("squirrel" "needs" "lion" "+"))
If someone needs the squirrel and the squirrel needs the lion then the squirrel is kind.
((("someone" "needs" "squirrel" "+") ("squirrel" "needs" "lion" "+")) -> ("squirrel" "is" "kind" "+"))
If the lion visits the squirrel and the squirrel needs the lion then the squirrel likes the lion.
((("lion" "visits" "squirrel" "+") ("squirrel" "needs" "lion" "+")) -> ("squirrel" "likes" "lion" "+"))
The squirrel likes the lion.
True
1
proof
[(triple6)]
("squirrel" "likes" "lion" "+")
triple6
The lion does not need the squirrel.
False
1
inv-proof
[(triple3)]
("lion" "needs" "squirrel" "-")
triple3
The lion visits the squirrel.
True
2
proof
[(((triple6) -> rule1) OR ((triple7) -> rule2))]
("lion" "visits" "squirrel" "+")
((triple6) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
((triple7) -> (rule2 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion does not visit the squirrel.
False
2
inv-proof
[(((triple6) -> rule1) OR ((triple7) -> rule2))]
("lion" "visits" "squirrel" "-")
((triple6) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
((triple7) -> (rule2 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel does not need the lion.
Unknown
inv-rconc
[@1: The squirrel needs the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "needs" "lion" "-")
The squirrel is kind.
Unknown
rconc
[@2: The squirrel is kind.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("squirrel" "is" "kind" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The lion is not red.[(triple1)] The lion likes the squirrel.[(triple2)] The lion needs the squirrel.[(triple3)] The squirrel is red.[(triple4)] The squirrel is round.[(triple5)] The squirrel likes the lion.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The lion visits the squirrel.[(((triple6) -> rule1) OR ((triple7) -> rule2))]
The lion is not red.
("lion" "is" "red" "-")
triple1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple5
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple6
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple7
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
((triple6) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
((triple7) -> (rule2 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1