The bald eagle chases the cat. The bald eagle is cold. The bald eagle is round. The bald eagle likes the cat. The bald eagle sees the cat. The cat is cold. The cat is rough. If someone chases the bald eagle and the bald eagle sees the cat then the cat is round. If someone is round and they see the bald eagle then the bald eagle likes the cat. Round people are rough. If someone chases the bald eagle then they do not see the cat. If someone chases the bald eagle then they do not see the cat. If someone is nice and they see the bald eagle then they do not like the bald eagle. If someone sees the cat then the cat likes the bald eagle. If someone sees the cat and the cat chases the bald eagle then they are not kind.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
If someone chases the bald eagle and the bald eagle sees the cat then the cat is round.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "sees" "cat" "+")) -> ("cat" "is" "round" "+"))
If someone is round and they see the bald eagle then the bald eagle likes the cat.
((("someone" "is" "round" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
Round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone chases the bald eagle then they do not see the cat.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "sees" "cat" "-"))
If someone chases the bald eagle then they do not see the cat.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "sees" "cat" "-"))
If someone is nice and they see the bald eagle then they do not like the bald eagle.
((("someone" "is" "nice" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "-"))
If someone sees the cat then the cat likes the bald eagle.
((("someone" "sees" "cat" "+")) -> ("cat" "likes" "bald eagle" "+"))
If someone sees the cat and the cat chases the bald eagle then they are not kind.
((("someone" "sees" "cat" "+") ("cat" "chases" "bald eagle" "+")) -> ("someone" "is" "kind" "-"))
The bald eagle sees the cat.
True
1
proof
[(triple5)]
("bald eagle" "sees" "cat" "+")
triple5
The bald eagle is not cold.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "cold" "-")
triple2
The cat likes the bald eagle.
True
2
proof
[(((triple5) -> rule7))]
("cat" "likes" "bald eagle" "+")
((triple5) -> (rule7 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat does not like the bald eagle.
False
2
inv-proof
[(((triple5) -> rule7))]
("cat" "likes" "bald eagle" "-")
((triple5) -> (rule7 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "round" "-")
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" "+")
The cat does not see the bald eagle.
Unknown
inv-random
[@0: The cat sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle sees the cat.[(triple5)] The cat is cold.[(triple6)] The cat is rough.[(triple7)] @1: The bald eagle is rough.[(((triple3) -> rule3))] The cat likes the bald eagle.[(((triple5) -> rule7))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple3) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((triple5) -> (rule7 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1