The bald eagle chases the cat. The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle likes the cat. The bald eagle visits the cat. The cat chases the bald eagle. The cat is blue. The cat is red. The cat visits the bald eagle. If something likes the bald eagle and the bald eagle visits the cat then it is red. If something likes the cat then the cat likes the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
If something likes the bald eagle and the bald eagle visits the cat then it is red.
((("something" "likes" "bald eagle" "+") ("bald eagle" "visits" "cat" "+")) -> ("something" "is" "red" "+"))
If something likes the cat then the cat likes the bald eagle.
((("something" "likes" "cat" "+")) -> ("cat" "likes" "bald eagle" "+"))
The cat visits the bald eagle.
True
1
proof
[(triple12)]
("cat" "visits" "bald eagle" "+")
triple12
The bald eagle is not nice.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "nice" "-")
triple4
The cat likes the bald eagle.
True
2
proof
[(((triple7) -> rule2))]
("cat" "likes" "bald eagle" "+")
((triple7) -> (rule2 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat does not like the bald eagle.
False
2
inv-proof
[(((triple7) -> rule2))]
("cat" "likes" "bald eagle" "-")
((triple7) -> (rule2 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
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 bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle likes the cat.[(triple7)] The bald eagle visits the cat.[(triple8)] The cat chases the bald eagle.[(triple9)] The cat is blue.[(triple10)] The cat is red.[(triple11 OR ((((triple7) -> rule2) triple8) -> rule1))] The cat visits the bald eagle.[(triple12)] @1: The cat likes the bald eagle.[(((triple7) -> rule2))]
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 blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple7
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple8
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple9
The cat is blue.
("cat" "is" "blue" "+")
triple10
The cat is red.
("cat" "is" "red" "+")
triple11
((((triple7) -> (rule2 % int2)) triple8) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple12
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((triple7) -> (rule2 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1