The lion is big. The lion is red. The lion is not round. The lion does not need the squirrel. The lion does not visit the squirrel. The squirrel eats the lion. The squirrel is not kind. The squirrel is red. The squirrel does not need the lion. The squirrel visits the lion. If something is red then it does not eat the squirrel. If something is kind and round then it visits the squirrel. If something is big then it does not need the squirrel. If something is big then it eats the lion. If something needs the squirrel then it is not red. If the lion visits the squirrel and the lion does not eat the squirrel then the squirrel does not need the lion.
The lion is big.
("lion" "is" "big" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion does not need the squirrel.
("lion" "needs" "squirrel" "-")
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel does not need the lion.
("squirrel" "needs" "lion" "-")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If something is red then it does not eat the squirrel.
((("something" "is" "red" "+")) -> ("something" "eats" "squirrel" "-"))
If something is kind and round then it visits the squirrel.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "visits" "squirrel" "+"))
If something is big then it does not need the squirrel.
((("something" "is" "big" "+")) -> ("something" "needs" "squirrel" "-"))
If something is big then it eats the lion.
((("something" "is" "big" "+")) -> ("something" "eats" "lion" "+"))
If something needs the squirrel then it is not red.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "red" "-"))
If the lion visits the squirrel and the lion does not eat the squirrel then the squirrel does not need the lion.
((("lion" "visits" "squirrel" "+") ("lion" "eats" "squirrel" "~")) -> ("squirrel" "needs" "lion" "-"))
The lion is red.
True
1
proof
[(triple2)]
("lion" "is" "red" "+")
triple2
The squirrel is kind.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "kind" "+")
triple7
The squirrel does not eat the squirrel.
True
2
proof
[(((triple8) -> rule1))]
("squirrel" "eats" "squirrel" "-")
((triple8) -> (rule1 % int1))
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple1) -> rule4))]
("lion" "eats" "lion" "-")
((triple1) -> (rule4 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The lion does not need the squirrel.[(triple4 OR ((triple1) -> rule3))] The lion does not visit the squirrel.[(triple5)] The lion is big.[(triple1)] The lion is not round.[(triple3)] The lion is red.[(triple2)] The squirrel does not need the lion.[(triple9)] The squirrel eats the lion.[(triple6)] The squirrel is not kind.[(triple7)] The squirrel is red.[(triple8)] The squirrel visits the lion.[(triple10)] @1: The lion does not eat the squirrel.[(((triple2) -> rule1))] The lion eats the lion.[(((triple1) -> rule4))] The squirrel does not eat the squirrel.[(((triple8) -> rule1))]
The lion does not need the squirrel.
("lion" "needs" "squirrel" "-")
triple4
((triple1) -> (rule3 % int1))
The lion does not need the squirrel.
("lion" "needs" "squirrel" "-")
int1
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
triple5
The lion is big.
("lion" "is" "big" "+")
triple1
The lion is not round.
("lion" "is" "round" "-")
triple3
The lion is red.
("lion" "is" "red" "+")
triple2
The squirrel does not need the lion.
("squirrel" "needs" "lion" "-")
triple9
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple6
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple10
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
((triple2) -> (rule1 % int1))
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple1) -> (rule4 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
((triple8) -> (rule1 % int1))
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
int1