The bald eagle chases the cat. The bald eagle is big. The bald eagle does not like the mouse. The bald eagle sees the mouse. The cat chases the bald eagle. The cat is blue. The cat is cold. The cat is rough. The cat is round. The cat likes the bald eagle. The cat likes the mouse. The cat sees the mouse. The mouse chases the bald eagle. The mouse chases the cat. The mouse is round. If someone is cold and they do not chase the mouse then they like the bald eagle. If someone sees the bald eagle then the bald eagle likes the mouse. If someone likes the bald eagle then they like the cat. If someone sees the bald eagle and the bald eagle does not see the mouse then they are not blue. If the mouse sees the cat then the cat likes the bald eagle. If someone sees the bald eagle then the bald eagle chases the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is round.
("mouse" "is" "round" "+")
If someone is cold and they do not chase the mouse then they like the bald eagle.
((("someone" "is" "cold" "+") ("someone" "chases" "mouse" "~")) -> ("someone" "likes" "bald eagle" "+"))
If someone sees the bald eagle then the bald eagle likes the mouse.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "mouse" "+"))
If someone likes the bald eagle then they like the cat.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "likes" "cat" "+"))
If someone sees the bald eagle and the bald eagle does not see the mouse then they are not blue.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "sees" "mouse" "~")) -> ("someone" "is" "blue" "-"))
If the mouse sees the cat then the cat likes the bald eagle.
((("mouse" "sees" "cat" "+")) -> ("cat" "likes" "bald eagle" "+"))
If someone sees the bald eagle then the bald eagle chases the cat.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
The cat is rough.
True
1
proof
[(triple8)]
("cat" "is" "rough" "+")
triple8
The bald eagle does not chase the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cat" "-")
triple1
The cat likes the cat.
True
2
proof
[(((triple10) -> rule3))]
("cat" "likes" "cat" "+")
((triple10) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat does not like the cat.
False
2
inv-proof
[(((triple10) -> rule3))]
("cat" "likes" "cat" "-")
((triple10) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle likes the cat.
Unknown
rconc
[@2: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("bald eagle" "likes" "cat" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not like the mouse.[(triple3)] The bald eagle is big.[(triple2)] The bald eagle sees the mouse.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat is blue.[(triple6)] The cat is cold.[(triple7)] The cat is rough.[(triple8)] The cat is round.[(triple9)] The cat likes the bald eagle.[(triple10)] The cat likes the mouse.[(triple11)] The cat sees the mouse.[(triple12)] The mouse chases the bald eagle.[(triple13)] The mouse chases the cat.[(triple14)] The mouse is round.[(triple15)] @1: The cat likes the cat.[(((triple10) -> rule3))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple6
The cat is cold.
("cat" "is" "cold" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat is round.
("cat" "is" "round" "+")
triple9
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple10
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple11
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple12
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple13
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple14
The mouse is round.
("mouse" "is" "round" "+")
triple15
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple10) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1