The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle is rough. The bald eagle likes the tiger. The bald eagle needs the tiger. The bald eagle sees the tiger. The tiger is blue. The tiger is cold. The tiger is green. The tiger is red. The tiger is rough. The tiger likes the bald eagle. The tiger needs the bald eagle. The tiger sees the bald eagle. If something sees the bald eagle and the bald eagle likes the tiger then the tiger needs the bald eagle. If something likes the tiger and the tiger needs the bald eagle then the tiger sees the bald eagle. If something sees the tiger then it needs the bald eagle. Cold, blue things are red. If the tiger is cold and the tiger needs the bald eagle then the tiger sees the bald eagle. If the bald eagle likes the tiger and the bald eagle needs the tiger then the tiger is red.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something sees the bald eagle and the bald eagle likes the tiger then the tiger needs the bald eagle.
((("something" "sees" "bald eagle" "+") ("bald eagle" "likes" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If something likes the tiger and the tiger needs the bald eagle then the tiger sees the bald eagle.
((("something" "likes" "tiger" "+") ("tiger" "needs" "bald eagle" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If something sees the tiger then it needs the bald eagle.
((("something" "sees" "tiger" "+")) -> ("something" "needs" "bald eagle" "+"))
Cold, blue things are red.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If the tiger is cold and the tiger needs the bald eagle then the tiger sees the bald eagle.
((("tiger" "is" "cold" "+") ("tiger" "needs" "bald eagle" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If the bald eagle likes the tiger and the bald eagle needs the tiger then the tiger is red.
((("bald eagle" "likes" "tiger" "+") ("bald eagle" "needs" "tiger" "+")) -> ("tiger" "is" "red" "+"))
The bald eagle sees the tiger.
True
1
proof
[(triple8)]
("bald eagle" "sees" "tiger" "+")
triple8
The tiger is not cold.
False
1
inv-proof
[(triple10)]
("tiger" "is" "cold" "-")
triple10
The bald eagle needs the bald eagle.
True
2
proof
[(((triple8) -> rule3))]
("bald eagle" "needs" "bald eagle" "+")
((triple8) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle does not need the bald eagle.
False
2
inv-proof
[(((triple8) -> rule3))]
("bald eagle" "needs" "bald eagle" "-")
((triple8) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is red.[(triple4 OR ((triple2 triple1) -> rule4))] The bald eagle is rough.[(triple5)] The bald eagle likes the tiger.[(triple6)] The bald eagle needs the tiger.[(triple7)] The bald eagle sees the tiger.[(triple8)] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger is red.[(triple12 OR ((triple10 triple9) -> rule4) OR ((triple6 triple7) -> rule6))] The tiger is rough.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger needs the bald eagle.[(triple15 OR ((triple16 triple6) -> rule1))] The tiger sees the bald eagle.[(triple16 OR ((triple10 triple15) -> rule5) OR ((triple6 triple15) -> rule2))] @1: The bald eagle needs the bald eagle.[(((triple8) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
((triple2 triple1) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple6
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple7
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12
((triple10 triple9) -> (rule4 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
((triple6 triple7) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple14
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple15
((triple16 triple6) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple16
((triple10 triple15) -> (rule5 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
((triple6 triple15) -> (rule2 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple8) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1