The bald eagle is young. The bald eagle needs the cat. The cat eats the bald eagle. The cat is big. The cat is blue. The cat is kind. The cat is round. The cat is young. The cat needs the bald eagle. The cat visits the bald eagle. If something visits the bald eagle and it needs the cat then it eats the cat. If something eats the bald eagle and the bald eagle visits the cat then the cat is blue. If something visits the bald eagle then it needs the cat.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
If something visits the bald eagle and it needs the cat then it eats the cat.
((("something" "visits" "bald eagle" "+") ("something" "needs" "cat" "+")) -> ("something" "eats" "cat" "+"))
If something eats the bald eagle and the bald eagle visits the cat then the cat is blue.
((("something" "eats" "bald eagle" "+") ("bald eagle" "visits" "cat" "+")) -> ("cat" "is" "blue" "+"))
If something visits the bald eagle then it needs the cat.
((("something" "visits" "bald eagle" "+")) -> ("something" "needs" "cat" "+"))
The cat is round.
True
1
proof
[(triple7)]
("cat" "is" "round" "+")
triple7
The cat does not visit the bald eagle.
False
1
inv-proof
[(triple10)]
("cat" "visits" "bald eagle" "-")
triple10
The cat needs the cat.
True
2
proof
[(((triple10) -> rule3))]
("cat" "needs" "cat" "+")
((triple10) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the cat.
False
2
inv-proof
[(((triple10) -> rule3))]
("cat" "needs" "cat" "-")
((triple10) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The bald eagle does not eat the cat.
Unknown
inv-rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "cat" "-")
The bald eagle visits the cat.
Unknown
random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat is big.[(triple4)] The cat is blue.[(triple5)] The cat is kind.[(triple6)] The cat is round.[(triple7)] The cat is young.[(triple8)] The cat needs the bald eagle.[(triple9)] The cat visits the bald eagle.[(triple10)] @1: The cat needs the cat.[(((triple10) -> rule3))] @2: The cat eats the cat.[(((triple10 ((triple10) -> rule3)) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat is big.
("cat" "is" "big" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat is round.
("cat" "is" "round" "+")
triple7
The cat is young.
("cat" "is" "young" "+")
triple8
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple9
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple10
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple10) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple10 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2