The bald eagle needs the mouse. The cow sees the dog. The dog needs the bald eagle. The mouse is red. If someone is red then they are young. If someone needs the mouse and the mouse chases the bald eagle then the bald eagle is young. If someone sees the bald eagle and the bald eagle sees the cow then they see the cow. Young people are rough. If someone chases the bald eagle then the bald eagle sees the dog. If someone chases the bald eagle then the bald eagle is nice.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The mouse is red.
("mouse" "is" "red" "+")
If someone is red then they are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone needs the mouse and the mouse chases the bald eagle then the bald eagle is young.
((("someone" "needs" "mouse" "+") ("mouse" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If someone sees the bald eagle and the bald eagle sees the cow then they see the cow.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "sees" "cow" "+")) -> ("someone" "sees" "cow" "+"))
Young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone chases the bald eagle then the bald eagle sees the dog.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
If someone chases the bald eagle then the bald eagle is nice.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
The dog needs the bald eagle.
True
1
proof
[(triple3)]
("dog" "needs" "bald eagle" "+")
triple3
The mouse is not red.
False
1
inv-proof
[(triple4)]
("mouse" "is" "red" "-")
triple4
The mouse is young.
True
2
proof
[(((triple4) -> rule1))]
("mouse" "is" "young" "+")
((triple4) -> (rule1 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is not young.
False
2
inv-proof
[(((triple4) -> rule1))]
("mouse" "is" "young" "-")
((triple4) -> (rule1 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is rough.
True
3
proof
[(((((triple4) -> rule1)) -> rule4))]
("mouse" "is" "rough" "+")
((((triple4) -> (rule1 % int2))) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse is not rough.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule4))]
("mouse" "is" "rough" "-")
((((triple4) -> (rule1 % int2))) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The dog does not see the cow.
Unknown
inv-rconc
[@1: The dog sees the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "sees" "cow" "-")
The dog is young.
Unknown
rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "young" "+")
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 dog chases the mouse.
Unknown
random
[@0: The dog chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "mouse" "+")
The dog does not need the cow.
Unknown
inv-random
[@0: The dog needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "cow" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The bald eagle needs the mouse.[(triple1)] The cow sees the dog.[(triple2)] The dog needs the bald eagle.[(triple3)] The mouse is red.[(triple4)] @1: The mouse is young.[(((triple4) -> rule1))] @2: The mouse is rough.[(((((triple4) -> rule1)) -> rule4))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The cow sees the dog.
("cow" "sees" "dog" "+")
triple2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple3
The mouse is red.
("mouse" "is" "red" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
((triple4) -> (rule1 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((((triple4) -> (rule1 % int2))) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2