The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is not kind. The bald eagle is red. The bald eagle sees the cat. The cat does not chase the bald eagle. The cat eats the bald eagle. The cat is kind. The cat is red. The cat sees the bald eagle. If someone is green then they eat the cat. If someone chases the cat and they are kind then they are young. If someone sees the bald eagle and the bald eagle is young then they chase the cat. If someone is young then they do not eat the bald eagle. If someone is young and they do not eat the cat then they do not see the cat. If someone eats the bald eagle and the bald eagle does not eat the cat then they are big.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is red.
("cat" "is" "red" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
If someone is green then they eat the cat.
((("someone" "is" "green" "+")) -> ("someone" "eats" "cat" "+"))
If someone chases the cat and they are kind then they are young.
((("someone" "chases" "cat" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone sees the bald eagle and the bald eagle is young then they chase the cat.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("someone" "chases" "cat" "+"))
If someone is young then they do not eat the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "eats" "bald eagle" "-"))
If someone is young and they do not eat the cat then they do not see the cat.
((("someone" "is" "young" "+") ("someone" "eats" "cat" "~")) -> ("someone" "sees" "cat" "-"))
If someone eats the bald eagle and the bald eagle does not eat the cat then they are big.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "eats" "cat" "~")) -> ("someone" "is" "big" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple7)]
("cat" "eats" "bald eagle" "+")
triple7
The bald eagle is kind.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "kind" "+")
triple3
The cat is not young.
Unknown
inv-rconc
[@2: The cat is young.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("cat" "is" "young" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is not kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle sees the cat.[(triple5)] The cat does not chase the bald eagle.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat is kind.[(triple8)] The cat is red.[(triple9)] The cat sees the bald eagle.[(triple10)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple5
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
triple6
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple7
The cat is kind.
("cat" "is" "kind" "+")
triple8
The cat is red.
("cat" "is" "red" "+")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple10