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