The bald eagle is young. The cat chases the bald eagle. If the cat is kind and the cat chases the bald eagle then the bald eagle does not chase the cat. If someone needs the bald eagle then they do not visit the bald eagle. If someone needs the cat then the cat does not visit the bald eagle. If someone needs the cat and they are young then they visit the cat. If someone chases the bald eagle then the bald eagle needs the cat. If someone visits the bald eagle and they are not cold then the bald eagle needs the cat. If someone chases the bald eagle and they are not kind then the bald eagle is not big. If someone is young and not big then they are not nice.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
If the cat is kind and the cat chases the bald eagle then the bald eagle does not chase the cat.
((("cat" "is" "kind" "+") ("cat" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "-"))
If someone needs the bald eagle then they do not visit the bald eagle.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "-"))
If someone needs the cat then the cat does not visit the bald eagle.
((("someone" "needs" "cat" "+")) -> ("cat" "visits" "bald eagle" "-"))
If someone needs the cat and they are young then they visit the cat.
((("someone" "needs" "cat" "+") ("someone" "is" "young" "+")) -> ("someone" "visits" "cat" "+"))
If someone chases the bald eagle then the bald eagle needs the cat.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If someone visits the bald eagle and they are not cold then the bald eagle needs the cat.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "cold" "~")) -> ("bald eagle" "needs" "cat" "+"))
If someone chases the bald eagle and they are not kind then the bald eagle is not big.
((("someone" "chases" "bald eagle" "+") ("someone" "is" "kind" "~")) -> ("bald eagle" "is" "big" "-"))
If someone is young and not big then they are not nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "nice" "-"))
The bald eagle is young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "+")
triple1
The bald eagle is not young.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "young" "-")
triple1
The bald eagle needs the cat.
True
2
proof
[(((triple2) -> rule5))]
("bald eagle" "needs" "cat" "+")
((triple2) -> (rule5 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle does not need the cat.
False
2
inv-proof
[(((triple2) -> rule5))]
("bald eagle" "needs" "cat" "-")
((triple2) -> (rule5 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "visits" "cat" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle is young.[(triple1)] The cat chases the bald eagle.[(triple2)] @1: The bald eagle needs the cat.[(((triple2) -> rule5))] @2: The bald eagle visits the cat.[(((((triple2) -> rule5) triple1) -> rule4))] The cat does not visit the bald eagle.[(((((triple2) -> rule5)) -> rule3))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((triple2) -> (rule5 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
((((triple2) -> (rule5 % int2)) triple1) -> (rule4 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2