The bald eagle eats the mouse. The bald eagle is red. The cat eats the bald eagle. The cat is red. The cat is young. The cat likes the bald eagle. The cat likes the mouse. The cat visits the bald eagle. The mouse eats the cat. The mouse is green. The mouse likes the bald eagle. The mouse likes the cat. Green things are young.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
Green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
The cat likes the mouse.
True
1
proof
[(triple7)]
("cat" "likes" "mouse" "+")
triple7
The cat is not red.
False
1
inv-proof
[(triple4)]
("cat" "is" "red" "-")
triple4
The mouse is young.
True
2
proof
[(((triple10) -> rule1))]
("mouse" "is" "young" "+")
((triple10) -> (rule1 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is not young.
False
2
inv-proof
[(((triple10) -> rule1))]
("mouse" "is" "young" "-")
((triple10) -> (rule1 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle likes the mouse.
Unknown
random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "+")
The bald eagle does not eat the cat.
Unknown
inv-random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is red.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat likes the mouse.[(triple7)] The cat visits the bald eagle.[(triple8)] The mouse eats the cat.[(triple9)] The mouse is green.[(triple10)] The mouse likes the bald eagle.[(triple11)] The mouse likes the cat.[(triple12)] @1: The mouse is young.[(((triple10) -> rule1))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple6
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple7
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple8
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple11
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple12
The mouse is young.
("mouse" "is" "young" "+")
((triple10) -> (rule1 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1