The bald eagle chases the tiger. The rabbit needs the bald eagle. The tiger sees the rabbit. If someone needs the bald eagle and they see the rabbit then they are not rough. If someone sees the tiger then they are not rough. If someone chases the bald eagle then they chase the rabbit. If someone needs the bald eagle then the bald eagle is red. If someone chases the tiger then they chase the bald eagle. If the tiger sees the rabbit and the tiger does not need the rabbit then the rabbit does not need the bald eagle.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If someone needs the bald eagle and they see the rabbit then they are not rough.
((("someone" "needs" "bald eagle" "+") ("someone" "sees" "rabbit" "+")) -> ("someone" "is" "rough" "-"))
If someone sees the tiger then they are not rough.
((("someone" "sees" "tiger" "+")) -> ("someone" "is" "rough" "-"))
If someone chases the bald eagle then they chase the rabbit.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone needs the bald eagle then the bald eagle is red.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If someone chases the tiger then they chase the bald eagle.
((("someone" "chases" "tiger" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the tiger sees the rabbit and the tiger does not need the rabbit then the rabbit does not need the bald eagle.
((("tiger" "sees" "rabbit" "+") ("tiger" "needs" "rabbit" "~")) -> ("rabbit" "needs" "bald eagle" "-"))
The rabbit needs the bald eagle.
True
1
proof
[(triple2)]
("rabbit" "needs" "bald eagle" "+")
triple2
The tiger does not see the rabbit.
False
1
inv-proof
[(triple3)]
("tiger" "sees" "rabbit" "-")
triple3
The bald eagle is red.
True
2
proof
[(((triple2) -> rule4))]
("bald eagle" "is" "red" "+")
((triple2) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is not red.
False
2
inv-proof
[(((triple2) -> rule4))]
("bald eagle" "is" "red" "-")
((triple2) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle chases the rabbit.
True
3
proof
[(((((triple1) -> rule5)) -> rule3))]
("bald eagle" "chases" "rabbit" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle does not chase the rabbit.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule3))]
("bald eagle" "chases" "rabbit" "-")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The tiger does not chase the bald eagle.
Unknown
inv-rconc
[@1: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "chases" "bald eagle" "-")
The tiger chases the rabbit.
Unknown
rconc
[@2: The tiger chases the rabbit.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("tiger" "chases" "rabbit" "+")
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@2: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
The rabbit does not need the tiger.
Unknown
inv-random
[@0: The rabbit needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "tiger" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle chases the tiger.[(triple1)] The rabbit needs the bald eagle.[(triple2)] The tiger sees the rabbit.[(triple3)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule5))] The bald eagle is red.[(((triple2) -> rule4))] @2: The bald eagle chases the rabbit.[(((((triple1) -> rule5)) -> rule3))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple1) -> (rule5 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple2) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2