The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle likes the tiger. The bald eagle sees the tiger. The tiger chases the bald eagle. The tiger is blue. The tiger is kind. The tiger is red. The tiger is rough. The tiger is round. The tiger likes the bald eagle. The tiger sees the bald eagle. If something chases the tiger and it chases the bald eagle then the bald eagle sees the tiger. If something sees the bald eagle then it likes the tiger. If something sees the tiger and it is blue then the tiger is blue. All kind things are red. If the bald eagle is rough and the bald eagle sees the tiger then the bald eagle is round. If something likes the tiger then it is red. If something is round and it sees the bald eagle then the bald eagle sees the tiger. Blue things are rough.
The tiger is red.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4 OR ((triple3) -> rule4) OR ((triple7) -> rule6))] The bald eagle is rough.[(triple5 OR ((triple2) -> rule8))] The bald eagle is round.[(triple6 OR ((triple5 triple8) -> rule5) OR ((triple5 ((triple14 triple16) -> rule7)) -> rule5) OR ((((triple2) -> rule8) triple8) -> rule5) OR ((((triple2) -> rule8) ((triple14 triple16) -> rule7)) -> rule5))] The bald eagle likes the tiger.[(triple7)] The bald eagle sees the tiger.[(triple8 OR ((triple14 triple16) -> rule7))] The tiger chases the bald eagle.[(triple9)] The tiger is blue.[(triple10 OR ((triple8 triple2) -> rule3) OR ((((triple14 triple16) -> rule7) triple2) -> rule3))] The tiger is kind.[(triple11)] The tiger is red.[(triple12 OR ((triple11) -> rule4) OR ((((triple16) -> rule2)) -> rule6))] The tiger is rough.[(triple13 OR ((triple10) -> rule8) OR ((((triple8 triple2) -> rule3)) -> rule8) OR ((((((triple14 triple16) -> rule7) triple2) -> rule3)) -> rule8))] The tiger is round.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger sees the bald eagle.[(triple16)] @1: The tiger likes the tiger.[(((triple16) -> rule2))]