The bald eagle eats the cat. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is young. The bald eagle needs the cat. The bald eagle sees the cat. The cat eats the bald eagle. The cat is blue. The cat is green. The cat is kind. The cat is nice. The cat needs the bald eagle. The cat sees the bald eagle. If someone sees the bald eagle then they eat the bald eagle. If someone needs the cat then they see the cat. If someone needs the bald eagle and they are nice then they are young.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
If someone sees the bald eagle then they eat the bald eagle.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone needs the cat then they see the cat.
((("someone" "needs" "cat" "+")) -> ("someone" "sees" "cat" "+"))
If someone needs the bald eagle and they are nice then they are young.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
The cat sees the bald eagle.
True
1
proof
[(triple15)]
("cat" "sees" "bald eagle" "+")
triple15
The cat is not green.
False
1
inv-proof
[(triple11)]
("cat" "is" "green" "-")
triple11
The cat is young.
True
3
proof
[(((triple14 triple13) -> rule3))]
("cat" "is" "young" "+")
((triple14 triple13) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not young.
False
3
inv-proof
[(((triple14 triple13) -> rule3))]
("cat" "is" "young" "-")
((triple14 triple13) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat does not see the cat.
Unknown
inv-rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "cat" "-")
The bald eagle eats the bald eagle.
Unknown
rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "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 eats the cat.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the cat.[(triple7)] The bald eagle sees the cat.[(triple8 OR ((triple7) -> rule2))] The cat eats the bald eagle.[(triple9 OR ((triple15) -> rule1))] The cat is blue.[(triple10)] The cat is green.[(triple11)] The cat is kind.[(triple12)] The cat is nice.[(triple13)] The cat needs the bald eagle.[(triple14)] The cat sees the bald eagle.[(triple15)] @1: The cat is young.[(((triple14 triple13) -> rule3))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple6
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple7
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple8
((triple7) -> (rule2 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple9
((triple15) -> (rule1 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
triple10
The cat is green.
("cat" "is" "green" "+")
triple11
The cat is kind.
("cat" "is" "kind" "+")
triple12
The cat is nice.
("cat" "is" "nice" "+")
triple13
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple14
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple15
The cat is young.
("cat" "is" "young" "+")
((triple14 triple13) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1