The bald eagle eats the cat. The bald eagle is kind. The bald eagle does not see the cat. The bald eagle visits the cat. The cat eats the bald eagle. The cat is nice. The cat visits the bald eagle. If the bald eagle does not visit the cat then the bald eagle eats the cat. If someone is kind and they do not see the cat then they visit the bald eagle. If someone is nice and blue then they visit the bald eagle. If someone eats the bald eagle then they visit the bald eagle. If someone visits the bald eagle then they are not young. If someone eats the cat then they eat the bald eagle. If someone eats the cat then the cat visits the bald eagle. If someone eats the cat and they do not see the cat then the cat visits the bald eagle.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
If the bald eagle does not visit the cat then the bald eagle eats the cat.
((("bald eagle" "visits" "cat" "~")) -> ("bald eagle" "eats" "cat" "+"))
If someone is kind and they do not see the cat then they visit the bald eagle.
((("someone" "is" "kind" "+") ("someone" "sees" "cat" "~")) -> ("someone" "visits" "bald eagle" "+"))
If someone is nice and blue then they visit the bald eagle.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone eats the bald eagle then they visit the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the bald eagle then they are not young.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "young" "-"))
If someone eats the cat then they eat the bald eagle.
((("someone" "eats" "cat" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the cat then the cat visits the bald eagle.
((("someone" "eats" "cat" "+")) -> ("cat" "visits" "bald eagle" "+"))
If someone eats the cat and they do not see the cat then the cat visits the bald eagle.
((("someone" "eats" "cat" "+") ("someone" "sees" "cat" "~")) -> ("cat" "visits" "bald eagle" "+"))
The bald eagle does not see the cat.
True
1
proof
[(triple3)]
("bald eagle" "sees" "cat" "-")
triple3
The bald eagle does not visit the cat.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "cat" "-")
triple4
The bald eagle eats the bald eagle.
True
2
proof
[(((triple1) -> rule6))]
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple1) -> rule6))]
("bald eagle" "eats" "bald eagle" "-")
((triple1) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is not young.
True
4
proof
[(((((triple2 triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule6)) -> rule4)) -> rule5))]
("bald eagle" "is" "young" "-")
((((triple2 triple3) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle is young.
False
4
inv-proof
[(((((triple2 triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule6)) -> rule4)) -> rule5))]
("bald eagle" "is" "young" "+")
((((triple2 triple3) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "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 cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The bald eagle does not see the cat.[(triple3)] The bald eagle eats the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle visits the cat.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat is nice.[(triple6)] The cat visits the bald eagle.[(triple7 OR ((triple1) -> rule7) OR ((triple5) -> rule4) OR ((triple1 triple3) -> rule8))] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule6))] The bald eagle visits the bald eagle.[(((triple2 triple3) -> rule2) OR ((((triple1) -> rule6)) -> rule4))] The cat is not young.[(((triple7) -> rule5) OR ((((triple1) -> rule7)) -> rule5) OR ((((triple5) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule8)) -> rule5))] @2: The bald eagle is not young.[(((((triple2 triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule6)) -> rule4)) -> rule5))]
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
triple3
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple7
((triple1) -> (rule7 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
((triple5) -> (rule4 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
((triple1 triple3) -> (rule8 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple2 triple3) -> (rule2 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The cat is not young.
("cat" "is" "young" "-")
((triple7) -> (rule5 % int1))
The cat is not young.
("cat" "is" "young" "-")
int1
((((triple1) -> (rule7 % int2))) -> (rule5 % int1))
The cat is not young.
("cat" "is" "young" "-")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The cat is not young.
("cat" "is" "young" "-")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
((((triple1 triple3) -> (rule8 % int2))) -> (rule5 % int1))
The cat is not young.
("cat" "is" "young" "-")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The bald eagle is not young.
("bald eagle" "is" "young" "-")
((((triple2 triple3) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3