The bald eagle eats the cat. The bald eagle eats the mouse. The bald eagle is kind. The bald eagle likes the cat. The bald eagle visits the cat. The cat eats the bald eagle. The cat eats the mouse. The cat is green. The cat is rough. The cat does not visit the bald eagle. The mouse eats the bald eagle. The mouse is rough. The mouse likes the bald eagle. The mouse likes the cat. The mouse visits the bald eagle. The mouse visits the cat. If something likes the mouse and the mouse eats the cat then the cat likes the bald eagle. If the bald eagle likes the cat then the cat likes the bald eagle. If something is green and not red then it visits the mouse.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
If something likes the mouse and the mouse eats the cat then the cat likes the bald eagle.
((("something" "likes" "mouse" "+") ("mouse" "eats" "cat" "+")) -> ("cat" "likes" "bald eagle" "+"))
If the bald eagle likes the cat then the cat likes the bald eagle.
((("bald eagle" "likes" "cat" "+")) -> ("cat" "likes" "bald eagle" "+"))
If something is green and not red then it visits the mouse.
((("something" "is" "green" "+") ("something" "is" "red" "~")) -> ("something" "visits" "mouse" "+"))
The cat eats the mouse.
True
1
proof
[(triple7)]
("cat" "eats" "mouse" "+")
triple7
The cat is not green.
False
1
inv-proof
[(triple8)]
("cat" "is" "green" "-")
triple8
The cat likes the bald eagle.
True
2
proof
[(((triple4) -> rule2))]
("cat" "likes" "bald eagle" "+")
((triple4) -> (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
[(((triple4) -> rule2))]
("cat" "likes" "bald eagle" "-")
((triple4) -> (rule2 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The cat visits the mouse.
Unknown
rconc
[@1: The cat visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "visits" "mouse" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle visits the cat.[(triple5)] The cat does not visit the bald eagle.[(triple10)] The cat eats the bald eagle.[(triple6)] The cat eats the mouse.[(triple7)] The cat is green.[(triple8)] The cat is rough.[(triple9)] The mouse eats the bald eagle.[(triple11)] The mouse is rough.[(triple12)] The mouse likes the bald eagle.[(triple13)] The mouse likes the cat.[(triple14)] The mouse visits the bald eagle.[(triple15)] The mouse visits the cat.[(triple16)] @1: The cat likes the bald eagle.[(((triple4) -> rule2))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple4
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
triple10
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple7
The cat is green.
("cat" "is" "green" "+")
triple8
The cat is rough.
("cat" "is" "rough" "+")
triple9
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple11
The mouse is rough.
("mouse" "is" "rough" "+")
triple12
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple13
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple14
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple15
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple16
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1