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