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