The bald eagle chases the rabbit. The bald eagle is not kind. The bald eagle is round. The bald eagle does not like the tiger. The bald eagle sees the rabbit. The rabbit chases the bald eagle. The rabbit chases the tiger. The rabbit is green. The rabbit is round. The tiger sees the rabbit. If something sees the bald eagle and the bald eagle sees the rabbit then the bald eagle chases the tiger. Green things are round. If something sees the rabbit and the rabbit does not see the bald eagle then the bald eagle does not chase the rabbit. If something likes the bald eagle then it likes the rabbit. If something chases the rabbit and the rabbit chases the tiger then the tiger is nice. If the tiger chases the bald eagle and the tiger sees the bald eagle then the tiger sees the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If something sees the bald eagle and the bald eagle sees the rabbit then the bald eagle chases the tiger.
((("something" "sees" "bald eagle" "+") ("bald eagle" "sees" "rabbit" "+")) -> ("bald eagle" "chases" "tiger" "+"))
Green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something sees the rabbit and the rabbit does not see the bald eagle then the bald eagle does not chase the rabbit.
((("something" "sees" "rabbit" "+") ("rabbit" "sees" "bald eagle" "~")) -> ("bald eagle" "chases" "rabbit" "-"))
If something likes the bald eagle then it likes the rabbit.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "rabbit" "+"))
If something chases the rabbit and the rabbit chases the tiger then the tiger is nice.
((("something" "chases" "rabbit" "+") ("rabbit" "chases" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If the tiger chases the bald eagle and the tiger sees the bald eagle then the tiger sees the rabbit.
((("tiger" "chases" "bald eagle" "+") ("tiger" "sees" "bald eagle" "+")) -> ("tiger" "sees" "rabbit" "+"))
The bald eagle is not kind.
True
1
proof
[(triple2)]
("bald eagle" "is" "kind" "-")
triple2
The rabbit does not chase the tiger.
False
1
inv-proof
[(triple7)]
("rabbit" "chases" "tiger" "-")
triple7
The tiger is nice.
True
3
proof
[(((triple1 triple7) -> rule5))]
("tiger" "is" "nice" "+")
((triple1 triple7) -> (rule5 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is not nice.
False
3
inv-proof
[(((triple1 triple7) -> rule5))]
("tiger" "is" "nice" "-")
((triple1 triple7) -> (rule5 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The bald eagle likes the rabbit.
Unknown
rconc
[@1: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "likes" "rabbit" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle does not like the tiger.[(triple4)] The bald eagle is not kind.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the rabbit.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit chases the tiger.[(triple7)] The rabbit is green.[(triple8)] The rabbit is round.[(triple9 OR ((triple8) -> rule2))] The tiger sees the rabbit.[(triple10)] @1: The tiger is nice.[(((triple1 triple7) -> rule5))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
triple4
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple5
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple6
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple7
The rabbit is green.
("rabbit" "is" "green" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
((triple8) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
((triple1 triple7) -> (rule5 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1