The bald eagle chases the cat. The bald eagle does not eat the cat. The bald eagle is blue. The bald eagle is cold. The bald eagle is kind. The bald eagle is nice. The bald eagle is not round. The bald eagle likes the cat. The cat chases the bald eagle. The cat eats the bald eagle. The cat is not blue. The cat is not cold. The cat is nice. The cat is not round. The cat likes the bald eagle. If someone is nice then they like the bald eagle. If someone likes the bald eagle then they eat the bald eagle. If someone is nice then they chase the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is not blue.
("cat" "is" "blue" "-")
The cat is not cold.
("cat" "is" "cold" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat is not round.
("cat" "is" "round" "-")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
If someone is nice then they like the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bald eagle then they eat the bald eagle.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is nice then they chase the cat.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "cat" "+"))
The bald eagle is blue.
True
1
proof
[(triple3)]
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is not blue.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "blue" "-")
triple3
The bald eagle likes the bald eagle.
True
2
proof
[(((triple6) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((triple6) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple13) -> rule3))]
("cat" "chases" "cat" "-")
((triple13) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The bald eagle eats the bald eagle.
True
3
proof
[(((((triple6) -> rule1)) -> rule2))]
("bald eagle" "eats" "bald eagle" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2))]
("bald eagle" "eats" "bald eagle" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1 OR ((triple6) -> rule3))] The bald eagle does not eat the cat.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle is nice.[(triple6)] The bald eagle is not round.[(triple7)] The bald eagle likes the cat.[(triple8)] The cat chases the bald eagle.[(triple9)] The cat eats the bald eagle.[(triple10 OR ((triple15) -> rule2) OR ((((triple13) -> rule1)) -> rule2))] The cat is nice.[(triple13)] The cat is not blue.[(triple11)] The cat is not cold.[(triple12)] The cat is not round.[(triple14)] The cat likes the bald eagle.[(triple15 OR ((triple13) -> rule1))] @1: The bald eagle likes the bald eagle.[(((triple6) -> rule1))] The cat chases the cat.[(((triple13) -> rule3))] @2: The bald eagle eats the bald eagle.[(((((triple6) -> rule1)) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
((triple6) -> (rule3 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple6
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple7
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple8
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple9
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple10
((triple15) -> (rule2 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
((((triple13) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
triple13
The cat is not blue.
("cat" "is" "blue" "-")
triple11
The cat is not cold.
("cat" "is" "cold" "-")
triple12
The cat is not round.
("cat" "is" "round" "-")
triple14
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple15
((triple13) -> (rule1 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple6) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple13) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2