The bald eagle is cold. The cat is not kind. The cat is nice. The cat visits the bald eagle. The squirrel does not need the bald eagle. The squirrel needs the cat. The squirrel visits the cat. If someone visits the bald eagle then they do not visit the cat. If someone sees the squirrel then the squirrel sees the bald eagle. If someone is red and they visit the cat then the cat does not visit the squirrel.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone visits the bald eagle then they do not visit the cat.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "cat" "-"))
If someone sees the squirrel then the squirrel sees the bald eagle.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If someone is red and they visit the cat then the cat does not visit the squirrel.
((("someone" "is" "red" "+") ("someone" "visits" "cat" "+")) -> ("cat" "visits" "squirrel" "-"))
The cat is nice.
True
1
proof
[(triple3)]
("cat" "is" "nice" "+")
triple3
The cat does not visit the bald eagle.
False
1
inv-proof
[(triple4)]
("cat" "visits" "bald eagle" "-")
triple4
The cat does not visit the cat.
True
2
proof
[(((triple4) -> rule1))]
("cat" "visits" "cat" "-")
((triple4) -> (rule1 % int1))
The cat does not visit the cat.
("cat" "visits" "cat" "-")
int1
The cat visits the cat.
False
2
inv-proof
[(((triple4) -> rule1))]
("cat" "visits" "cat" "+")
((triple4) -> (rule1 % int1))
The cat does not visit the cat.
("cat" "visits" "cat" "-")
int1
The squirrel does not see the bald eagle.
Unknown
inv-rconc
[@1: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "sees" "bald eagle" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle needs the cat.
Unknown
random
[@0: The bald eagle needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cat" "+")
@0: The bald eagle is cold.[(triple1)] The cat is nice.[(triple3)] The cat is not kind.[(triple2)] The cat visits the bald eagle.[(triple4)] The squirrel does not need the bald eagle.[(triple5)] The squirrel needs the cat.[(triple6)] The squirrel visits the cat.[(triple7)] @1: The cat does not visit the cat.[(((triple4) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat is not kind.
("cat" "is" "kind" "-")
triple2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple4
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple5
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple6
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple7
The cat does not visit the cat.
("cat" "visits" "cat" "-")
((triple4) -> (rule1 % int1))
The cat does not visit the cat.
("cat" "visits" "cat" "-")
int1