The bald eagle chases the rabbit. The bald eagle is kind. The bald eagle is round. The bald eagle needs the tiger. The bald eagle visits the tiger. The rabbit does not chase the tiger. The rabbit is red. The rabbit is round. The rabbit does not need the bald eagle. The tiger chases the bald eagle. The tiger is blue. The tiger is kind. The tiger needs the bald eagle. The tiger visits the bald eagle. The tiger does not visit the rabbit. If someone visits the rabbit then they need the tiger. If the tiger does not visit the rabbit then the tiger visits the bald eagle. If someone chases the tiger then they chase the rabbit. If someone is blue and they chase the bald eagle then they chase the rabbit. If someone needs the tiger and the tiger does not visit the rabbit then they are not red. If someone is red and not kind then they chase the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger does not visit the rabbit.
("tiger" "visits" "rabbit" "-")
If someone visits the rabbit then they need the tiger.
((("someone" "visits" "rabbit" "+")) -> ("someone" "needs" "tiger" "+"))
If the tiger does not visit the rabbit then the tiger visits the bald eagle.
((("tiger" "visits" "rabbit" "~")) -> ("tiger" "visits" "bald eagle" "+"))
If someone chases the tiger then they chase the rabbit.
((("someone" "chases" "tiger" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone is blue and they chase the bald eagle then they chase the rabbit.
((("someone" "is" "blue" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone needs the tiger and the tiger does not visit the rabbit then they are not red.
((("someone" "needs" "tiger" "+") ("tiger" "visits" "rabbit" "~")) -> ("someone" "is" "red" "-"))
If someone is red and not kind then they chase the bald eagle.
((("someone" "is" "red" "+") ("someone" "is" "kind" "~")) -> ("someone" "chases" "bald eagle" "+"))
The tiger does not visit the rabbit.
True
1
proof
[(triple15)]
("tiger" "visits" "rabbit" "-")
triple15
The rabbit is not red.
False
1
inv-proof
[(triple7)]
("rabbit" "is" "red" "-")
triple7
The rabbit does not need the tiger.
Unknown
inv-rconc
[@1: The rabbit needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "tiger" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the tiger.[(triple4)] The bald eagle visits the tiger.[(triple5)] The rabbit does not chase the tiger.[(triple6)] The rabbit does not need the bald eagle.[(triple9)] The rabbit is red.[(triple7)] The rabbit is round.[(triple8)] The tiger chases the bald eagle.[(triple10)] The tiger does not visit the rabbit.[(triple15)] The tiger is blue.[(triple11)] The tiger is kind.[(triple12)] The tiger needs the bald eagle.[(triple13)] The tiger visits the bald eagle.[(triple14 OR ((triple15) -> rule2))] @1: The bald eagle is not red.[(((triple4 triple15) -> rule5))] The tiger chases the rabbit.[(((triple11 triple10) -> rule4))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
triple6
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
triple9
The rabbit is red.
("rabbit" "is" "red" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple10
The tiger does not visit the rabbit.
("tiger" "visits" "rabbit" "-")
triple15
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple13
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple14
((triple15) -> (rule2 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
((triple4 triple15) -> (rule5 % int1))
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
((triple11 triple10) -> (rule4 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1