The cat likes the squirrel. The cat visits the squirrel. The squirrel is blue. The squirrel is kind. The squirrel likes the cat. The squirrel sees the cat. The squirrel visits the cat. If something likes the squirrel then it is round.
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If something likes the squirrel then it is round.
((("something" "likes" "squirrel" "+")) -> ("something" "is" "round" "+"))
The squirrel likes the cat.
True
1
proof
[(triple5)]
("squirrel" "likes" "cat" "+")
triple5
The cat does not visit the squirrel.
False
1
inv-proof
[(triple2)]
("cat" "visits" "squirrel" "-")
triple2
The cat is round.
True
2
proof
[(((triple1) -> rule1))]
("cat" "is" "round" "+")
((triple1) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "is" "round" "-")
((triple1) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "round" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The cat likes the squirrel.[(triple1)] The cat visits the squirrel.[(triple2)] The squirrel is blue.[(triple3)] The squirrel is kind.[(triple4)] The squirrel likes the cat.[(triple5)] The squirrel sees the cat.[(triple6)] The squirrel visits the cat.[(triple7)] @1: The cat is round.[(((triple1) -> rule1))]
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple1
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple2
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple3
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple4
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple5
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple6
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
((triple1) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1