The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is cold. The bald eagle is kind. The bald eagle is rough. The bald eagle does not need the tiger. The bald eagle does not see the tiger. The tiger chases the bald eagle. The tiger is blue. The tiger is not cold. The tiger is kind. The tiger is nice. The tiger is rough. The tiger does not need the bald eagle. The tiger sees the bald eagle. If the tiger needs the bald eagle then the bald eagle does not see the tiger. If something is kind and it does not see the tiger then it is blue. All kind things are blue.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If the tiger needs the bald eagle then the bald eagle does not see the tiger.
((("tiger" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "-"))
If something is kind and it does not see the tiger then it is blue.
((("something" "is" "kind" "+") ("something" "sees" "tiger" "~")) -> ("something" "is" "blue" "+"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
The bald eagle is blue.
True
1
proof
[(triple2 OR ((triple4) -> rule3) OR ((triple4 triple7) -> rule2))]
("bald eagle" "is" "blue" "+")
triple2
((triple4) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
((triple4 triple7) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The tiger is not nice.
False
1
inv-proof
[(triple12)]
("tiger" "is" "nice" "-")
triple12
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not need the tiger.[(triple6)] The bald eagle does not see the tiger.[(triple7)] The bald eagle is blue.[(triple2 OR ((triple4) -> rule3) OR ((triple4 triple7) -> rule2))] The bald eagle is cold.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is rough.[(triple5)] The tiger chases the bald eagle.[(triple8)] The tiger does not need the bald eagle.[(triple14)] The tiger is blue.[(triple9 OR ((triple11) -> rule3))] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is not cold.[(triple10)] The tiger is rough.[(triple13)] The tiger sees the bald eagle.[(triple15)]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
triple6
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple7
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
((triple4) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
((triple4 triple7) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
triple14
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
((triple11) -> (rule3 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is not cold.
("tiger" "is" "cold" "-")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15