The bald eagle likes the cat. The bald eagle likes the mouse. The cat eats the bald eagle. The cat is kind. The cat likes the rabbit. The mouse likes the rabbit. The rabbit chases the bald eagle. If something eats the mouse then the mouse is blue. If something chases the mouse and it chases the bald eagle then it is rough. If something eats the rabbit then it is young. If the cat is blue then the cat is kind. If something is blue and it likes the mouse then it chases the cat. If something chases the mouse and the mouse is rough then it chases the bald eagle. All blue, rough things are round. If something chases the mouse and it likes the bald eagle then it eats the bald eagle.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
If something eats the mouse then the mouse is blue.
((("something" "eats" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If something chases the mouse and it chases the bald eagle then it is rough.
((("something" "chases" "mouse" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If something eats the rabbit then it is young.
((("something" "eats" "rabbit" "+")) -> ("something" "is" "young" "+"))
If the cat is blue then the cat is kind.
((("cat" "is" "blue" "+")) -> ("cat" "is" "kind" "+"))
If something is blue and it likes the mouse then it chases the cat.
((("something" "is" "blue" "+") ("something" "likes" "mouse" "+")) -> ("something" "chases" "cat" "+"))
If something chases the mouse and the mouse is rough then it chases the bald eagle.
((("something" "chases" "mouse" "+") ("mouse" "is" "rough" "+")) -> ("something" "chases" "bald eagle" "+"))
All blue, rough things are round.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If something chases the mouse and it likes the bald eagle then it eats the bald eagle.
((("something" "chases" "mouse" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple3)]
("cat" "eats" "bald eagle" "+")
triple3
The bald eagle does not like the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "cat" "-")
triple1
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "young" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle likes the cat.[(triple1)] The bald eagle likes the mouse.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat is kind.[(triple4)] The cat likes the rabbit.[(triple5)] The mouse likes the rabbit.[(triple6)] The rabbit chases the bald eagle.[(triple7)]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple5
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple6
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple7