The bald eagle chases the cat. The bald eagle is big. The bald eagle is rough. The bald eagle likes the cat. The cat chases the bald eagle. The cat is big. The cat is rough. The cat is young. The cat likes the bald eagle. The cat needs the bald eagle. If someone likes the bald eagle then the bald eagle likes the cat. If someone is cold then they chase the cat. If the cat is cold then the cat chases the bald eagle. If someone is big and they chase the cat then they like the bald eagle. If someone chases the bald eagle then they chase the cat. If someone needs the bald eagle then the bald eagle likes the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
If someone likes the bald eagle then the bald eagle likes the cat.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
If someone is cold then they chase the cat.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "cat" "+"))
If the cat is cold then the cat chases the bald eagle.
((("cat" "is" "cold" "+")) -> ("cat" "chases" "bald eagle" "+"))
If someone is big and they chase the cat then they like the bald eagle.
((("someone" "is" "big" "+") ("someone" "chases" "cat" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone chases the bald eagle then they chase the cat.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "chases" "cat" "+"))
If someone needs the bald eagle then the bald eagle likes the cat.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
The cat is big.
True
1
proof
[(triple6)]
("cat" "is" "big" "+")
triple6
The cat does not chase the bald eagle.
False
1
inv-proof
[(triple5)]
("cat" "chases" "bald eagle" "-")
triple5
The bald eagle likes the bald eagle.
True
3
proof
[(((triple2 triple1) -> rule4))]
("bald eagle" "likes" "bald eagle" "+")
((triple2 triple1) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
False
3
inv-proof
[(((triple2 triple1) -> rule4))]
("bald eagle" "likes" "bald eagle" "-")
((triple2 triple1) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the cat.[(triple4 OR ((triple10) -> rule6) OR ((triple9) -> rule1) OR ((((triple2 triple1) -> rule4)) -> rule1) OR ((((triple6 ((triple5) -> rule5)) -> rule4)) -> rule1))] The cat chases the bald eagle.[(triple5)] The cat is big.[(triple6)] The cat is rough.[(triple7)] The cat is young.[(triple8)] The cat likes the bald eagle.[(triple9 OR ((triple6 ((triple5) -> rule5)) -> rule4))] The cat needs the bald eagle.[(triple10)] @1: The bald eagle likes the bald eagle.[(((triple2 triple1) -> rule4))] The cat chases the cat.[(((triple5) -> rule5))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple4
((triple10) -> (rule6 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
((triple9) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
((((triple2 triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
((((triple6 ((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat is big.
("cat" "is" "big" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The cat is young.
("cat" "is" "young" "+")
triple8
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple9
((triple6 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple10
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple2 triple1) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple5) -> (rule5 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1