The cat needs the lion. The lion chases the squirrel. The squirrel is round. If the lion chases the squirrel then the squirrel is young.
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If the lion chases the squirrel then the squirrel is young.
((("lion" "chases" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
The lion chases the squirrel.
True
1
proof
[(triple2)]
("lion" "chases" "squirrel" "+")
triple2
The squirrel is not round.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "round" "-")
triple3
The squirrel is young.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "is" "young" "+")
((triple2) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "is" "young" "-")
((triple2) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The lion visits the squirrel.
Unknown
random
[@0: The lion visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "squirrel" "+")
@0: The cat needs the lion.[(triple1)] The lion chases the squirrel.[(triple2)] The squirrel is round.[(triple3)] @1: The squirrel is young.[(((triple2) -> rule1))]
The cat needs the lion.
("cat" "needs" "lion" "+")
triple1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple2
The squirrel is round.
("squirrel" "is" "round" "+")
triple3
The squirrel is young.
("squirrel" "is" "young" "+")
((triple2) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1