The bald eagle is not green. The bald eagle is not red. The bald eagle likes the cat. The bald eagle needs the cat. The bald eagle visits the cat. The cat is cold. The cat needs the bald eagle. If someone visits the cat then the cat visits the bald eagle. If the cat is not green then the cat visits the bald eagle. If someone visits the bald eagle then they like the cat. If someone needs the cat then they like the cat. If someone is blue then they do not visit the cat. If someone is cold and they do not like the cat then they are red.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
If someone visits the cat then the cat visits the bald eagle.
((("someone" "visits" "cat" "+")) -> ("cat" "visits" "bald eagle" "+"))
If the cat is not green then the cat visits the bald eagle.
((("cat" "is" "green" "~")) -> ("cat" "visits" "bald eagle" "+"))
If someone visits the bald eagle then they like the cat.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "likes" "cat" "+"))
If someone needs the cat then they like the cat.
((("someone" "needs" "cat" "+")) -> ("someone" "likes" "cat" "+"))
If someone is blue then they do not visit the cat.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "cat" "-"))
If someone is cold and they do not like the cat then they are red.
((("someone" "is" "cold" "+") ("someone" "likes" "cat" "~")) -> ("someone" "is" "red" "+"))
The bald eagle visits the cat.
True
1
proof
[(triple5)]
("bald eagle" "visits" "cat" "+")
triple5
The bald eagle does not like the cat.
False
1
inv-proof
[(triple3 OR ((triple4) -> rule4))]
("bald eagle" "likes" "cat" "-")
triple3
((triple4) -> (rule4 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The cat visits the bald eagle.
True
2
proof
[(((triple5) -> rule1))]
("cat" "visits" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat does not visit the bald eagle.
False
2
inv-proof
[(((triple5) -> rule1))]
("cat" "visits" "bald eagle" "-")
((triple5) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat likes the cat.
True
3
proof
[(((((triple5) -> rule1)) -> rule3))]
("cat" "likes" "cat" "+")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The cat does not like the cat.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule3))]
("cat" "likes" "cat" "-")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "red" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The cat likes the bald eagle.
Unknown
random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The bald eagle is not green.[(triple1)] The bald eagle is not red.[(triple2)] The bald eagle likes the cat.[(triple3 OR ((triple4) -> rule4))] The bald eagle needs the cat.[(triple4)] The bald eagle visits the cat.[(triple5)] The cat is cold.[(triple6)] The cat needs the bald eagle.[(triple7)] @1: The cat visits the bald eagle.[(((triple5) -> rule1))] @2: The cat likes the cat.[(((((triple5) -> rule1)) -> rule3))]
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
((triple4) -> (rule4 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple7
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2