The bald eagle chases the cat. The bald eagle needs the cat. The cat chases the bald eagle. The cat is not big. The cat is not red. The cat is not rough. The cat needs the bald eagle. If something is nice then it needs the bald eagle. If something is round and it does not chase the bald eagle then it needs the bald eagle. If the bald eagle needs the cat then the bald eagle is nice.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat is not red.
("cat" "is" "red" "-")
The cat is not rough.
("cat" "is" "rough" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
If something is nice then it needs the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "needs" "bald eagle" "+"))
If something is round and it does not chase the bald eagle then it needs the bald eagle.
((("something" "is" "round" "+") ("something" "chases" "bald eagle" "~")) -> ("something" "needs" "bald eagle" "+"))
If the bald eagle needs the cat then the bald eagle is nice.
((("bald eagle" "needs" "cat" "+")) -> ("bald eagle" "is" "nice" "+"))
The cat is not big.
True
1
proof
[(triple4)]
("cat" "is" "big" "-")
triple4
The bald eagle does not chase the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cat" "-")
triple1
The bald eagle is nice.
True
2
proof
[(((triple2) -> rule3))]
("bald eagle" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple2) -> rule3))]
("bald eagle" "is" "nice" "-")
((triple2) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the bald eagle.
True
3
proof
[(((((triple2) -> rule3)) -> rule1))]
("bald eagle" "needs" "bald eagle" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle does not need the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule1))]
("bald eagle" "needs" "bald eagle" "-")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The cat is not nice.
Unknown
inv-random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "-")
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)] The bald eagle needs the cat.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat is not big.[(triple4)] The cat is not red.[(triple5)] The cat is not rough.[(triple6)] The cat needs the bald eagle.[(triple7)] @1: The bald eagle is nice.[(((triple2) -> rule3))] @2: The bald eagle needs the bald eagle.[(((((triple2) -> rule3)) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple3
The cat is not big.
("cat" "is" "big" "-")
triple4
The cat is not red.
("cat" "is" "red" "-")
triple5
The cat is not rough.
("cat" "is" "rough" "-")
triple6
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2