The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle likes the cat. The bald eagle likes the mouse. The bald eagle visits the mouse. The cat is not red. The cat likes the bald eagle. The mouse is blue. The mouse is rough. If something likes the bald eagle then it is kind. If something visits the bald eagle and the bald eagle likes the cat then the cat visits the mouse. If something visits the bald eagle then it visits the cat.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cat is not red.
("cat" "is" "red" "-")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If something likes the bald eagle then it is kind.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
If something visits the bald eagle and the bald eagle likes the cat then the cat visits the mouse.
((("something" "visits" "bald eagle" "+") ("bald eagle" "likes" "cat" "+")) -> ("cat" "visits" "mouse" "+"))
If something visits the bald eagle then it visits the cat.
((("something" "visits" "bald eagle" "+")) -> ("something" "visits" "cat" "+"))
The bald eagle likes the cat.
True
1
proof
[(triple4)]
("bald eagle" "likes" "cat" "+")
triple4
The bald eagle is not red.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "red" "-")
triple2
The cat is kind.
True
2
proof
[(((triple8) -> rule1))]
("cat" "is" "kind" "+")
((triple8) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is not kind.
False
2
inv-proof
[(((triple8) -> rule1))]
("cat" "is" "kind" "-")
((triple8) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "visits" "cat" "-")
The bald eagle visits the cat.
Unknown
rconc
[@1: The bald eagle visits the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "cat" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The mouse eats the cat.
Unknown
random
[@0: The mouse eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cat" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle visits the mouse.[(triple6)] The cat is not red.[(triple7)] The cat likes the bald eagle.[(triple8)] The mouse is blue.[(triple9)] The mouse is rough.[(triple10)] @1: The cat is kind.[(((triple8) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple5
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple6
The cat is not red.
("cat" "is" "red" "-")
triple7
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple8
The mouse is blue.
("mouse" "is" "blue" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The cat is kind.
("cat" "is" "kind" "+")
((triple8) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1