The bald eagle chases the cat. The bald eagle is young. The bald eagle likes the cat. The cat chases the bald eagle. The cat is cold. The cat is green. The cat is kind. The cat is young. The cat likes the bald eagle. The cat does not visit the bald eagle. If the bald eagle is blue and the bald eagle does not chase the cat then the bald eagle is green. If something is cold then it does not like the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
If the bald eagle is blue and the bald eagle does not chase the cat then the bald eagle is green.
((("bald eagle" "is" "blue" "+") ("bald eagle" "chases" "cat" "~")) -> ("bald eagle" "is" "green" "+"))
If something is cold then it does not like the cat.
((("something" "is" "cold" "+")) -> ("something" "likes" "cat" "-"))
The cat is cold.
True
1
proof
[(triple5)]
("cat" "is" "cold" "+")
triple5
The cat is not cold.
False
1
inv-proof
[(triple5)]
("cat" "is" "cold" "-")
triple5
The cat does not like the cat.
True
2
proof
[(((triple5) -> rule2))]
("cat" "likes" "cat" "-")
((triple5) -> (rule2 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The cat likes the cat.
False
2
inv-proof
[(((triple5) -> rule2))]
("cat" "likes" "cat" "+")
((triple5) -> (rule2 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "green" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "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" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the cat.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat does not visit the bald eagle.[(triple10)] The cat is cold.[(triple5)] The cat is green.[(triple6)] The cat is kind.[(triple7)] The cat is young.[(triple8)] The cat likes the bald eagle.[(triple9)] @1: The cat does not like the cat.[(((triple5) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
triple10
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is kind.
("cat" "is" "kind" "+")
triple7
The cat is young.
("cat" "is" "young" "+")
triple8
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple9
The cat does not like the cat.
("cat" "likes" "cat" "-")
((triple5) -> (rule2 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1