The bald eagle needs the tiger. The rabbit is young. The tiger is green. If someone eats the rabbit then the rabbit sees the bald eagle. If someone is young then they eat the rabbit. If someone eats the tiger and they need the tiger then they are rough.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The tiger is green.
("tiger" "is" "green" "+")
If someone eats the rabbit then the rabbit sees the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If someone is young then they eat the rabbit.
((("someone" "is" "young" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone eats the tiger and they need the tiger then they are rough.
((("someone" "eats" "tiger" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "is" "rough" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple1)]
("bald eagle" "needs" "tiger" "+")
triple1
The tiger is not green.
False
1
inv-proof
[(triple3)]
("tiger" "is" "green" "-")
triple3
The rabbit eats the rabbit.
True
2
proof
[(((triple2) -> rule2))]
("rabbit" "eats" "rabbit" "+")
((triple2) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit does not eat the rabbit.
False
2
inv-proof
[(((triple2) -> rule2))]
("rabbit" "eats" "rabbit" "-")
((triple2) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit sees the bald eagle.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("rabbit" "sees" "bald eagle" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit does not see the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("rabbit" "sees" "bald eagle" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The tiger is rough.
Unknown
rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "rough" "+")
The tiger does not eat the rabbit.
Unknown
inv-rconc
[@1: The tiger eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "rabbit" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
The tiger does not need the bald eagle.
Unknown
inv-random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bald eagle" "-")
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" "+")
@0: The bald eagle needs the tiger.[(triple1)] The rabbit is young.[(triple2)] The tiger is green.[(triple3)] @1: The rabbit eats the rabbit.[(((triple2) -> rule2))] @2: The rabbit sees the bald eagle.[(((((triple2) -> rule2)) -> rule1))]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The rabbit is young.
("rabbit" "is" "young" "+")
triple2
The tiger is green.
("tiger" "is" "green" "+")
triple3
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple2) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2