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