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