The bald eagle is blue. The bald eagle likes the cat. The bald eagle sees the cat. The cat is not big. The cat is not red. The cat sees the bald eagle. The cat visits the bald eagle. If something likes the cat and it visits the cat then the cat does not see the bald eagle. If the bald eagle sees the cat and the bald eagle likes the cat then the cat visits the bald eagle. If something visits the cat then the cat does not like the bald eagle. If something is red and it likes the bald eagle then the bald eagle sees the cat. If something visits the bald eagle and it is blue then it is round. If something visits the bald eagle then it likes the bald eagle. If the bald eagle is blue and the bald eagle sees the cat then the bald eagle is round. If something likes the bald eagle then the bald eagle likes the cat.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat is not red.
("cat" "is" "red" "-")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
If something likes the cat and it visits the cat then the cat does not see the bald eagle.
((("something" "likes" "cat" "+") ("something" "visits" "cat" "+")) -> ("cat" "sees" "bald eagle" "-"))
If the bald eagle sees the cat and the bald eagle likes the cat then the cat visits the bald eagle.
((("bald eagle" "sees" "cat" "+") ("bald eagle" "likes" "cat" "+")) -> ("cat" "visits" "bald eagle" "+"))
If something visits the cat then the cat does not like the bald eagle.
((("something" "visits" "cat" "+")) -> ("cat" "likes" "bald eagle" "-"))
If something is red and it likes the bald eagle then the bald eagle sees the cat.
((("something" "is" "red" "+") ("something" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "cat" "+"))
If something visits the bald eagle and it is blue then it is round.
((("something" "visits" "bald eagle" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If something visits the bald eagle then it likes the bald eagle.
((("something" "visits" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "+"))
If the bald eagle is blue and the bald eagle sees the cat then the bald eagle is round.
((("bald eagle" "is" "blue" "+") ("bald eagle" "sees" "cat" "+")) -> ("bald eagle" "is" "round" "+"))
If something likes the bald eagle then the bald eagle likes the cat.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
The cat is not big.
True
1
proof
[(triple4)]
("cat" "is" "big" "-")
triple4
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The cat likes the bald eagle.
True
2
proof
[(((triple7) -> rule6) OR ((((triple3 triple2) -> rule2)) -> rule6))]
("cat" "likes" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
((((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The bald eagle is not round.
False
3
inv-proof
[(((triple1 triple3) -> rule7))]
("bald eagle" "is" "round" "-")
((triple1 triple3) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cat is round.
Unknown
rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "round" "+")
The bald eagle does not visit the cat.
Unknown
inv-random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the cat.[(triple2 OR ((((triple7) -> rule6)) -> rule8))] The bald eagle sees the cat.[(triple3)] The cat is not big.[(triple4)] The cat is not red.[(triple5)] The cat sees the bald eagle.[(triple6)] The cat visits the bald eagle.[(triple7 OR ((triple3 triple2) -> rule2))] @1: The bald eagle is round.[(((triple1 triple3) -> rule7))] The cat likes the bald eagle.[(((triple7) -> rule6) OR ((((triple3 triple2) -> rule2)) -> rule6))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
((((triple7) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple3
The cat is not big.
("cat" "is" "big" "-")
triple4
The cat is not red.
("cat" "is" "red" "-")
triple5
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple6
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple7
((triple3 triple2) -> (rule2 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1 triple3) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
((((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2