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