The bald eagle is rough. The bald eagle sees the dog. The bald eagle sees the tiger. The bald eagle visits the dog. The bald eagle visits the tiger. The dog is rough. The dog likes the tiger. The dog sees the bald eagle. The dog sees the tiger. The dog visits the tiger. The tiger is nice. The tiger is rough. The tiger likes the bald eagle. The tiger sees the bald eagle. The tiger sees the dog. The tiger visits the dog. If someone visits the tiger and they are rough then the tiger is blue. If someone is nice and they visit the tiger then the tiger is red. If someone is blue and they see the bald eagle then the bald eagle is nice. If someone visits the bald eagle and the bald eagle is nice then the bald eagle is young. All red people are blue. If someone is nice then they visit the dog. If someone sees the tiger then the tiger visits the bald eagle. If someone sees the tiger then the tiger likes the bald eagle.
The tiger is blue.
@0: The bald eagle is rough.[(triple1)] The bald eagle sees the dog.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the dog.[(triple4 OR ((((((triple10 triple6) -> rule1) triple14) -> rule3)) -> rule6) OR ((((((triple5 triple1) -> rule1) triple14) -> rule3)) -> rule6))] The bald eagle visits the tiger.[(triple5)] The dog is rough.[(triple6)] The dog likes the tiger.[(triple7)] The dog sees the bald eagle.[(triple8)] The dog sees the tiger.[(triple9)] The dog visits the tiger.[(triple10)] The tiger is nice.[(triple11)] The tiger is rough.[(triple12)] The tiger likes the bald eagle.[(triple13 OR ((triple3) -> rule8) OR ((triple9) -> rule8))] The tiger sees the bald eagle.[(triple14)] The tiger sees the dog.[(triple15)] The tiger visits the dog.[(triple16 OR ((triple11) -> rule6))] @1: The tiger is blue.[(((triple10 triple6) -> rule1) OR ((triple5 triple1) -> rule1))] The tiger visits the bald eagle.[(((triple3) -> rule7) OR ((triple9) -> rule7))] @2: The bald eagle is nice.[(((((triple10 triple6) -> rule1) triple14) -> rule3) OR ((((triple5 triple1) -> rule1) triple14) -> rule3))] @3: The bald eagle is young.[(((((triple3) -> rule7) ((((triple10 triple6) -> rule1) triple14) -> rule3)) -> rule4) OR ((((triple3) -> rule7) ((((triple5 triple1) -> rule1) triple14) -> rule3)) -> rule4) OR ((((triple9) -> rule7) ((((triple10 triple6) -> rule1) triple14) -> rule3)) -> rule4) OR ((((triple9) -> rule7) ((((triple5 triple1) -> rule1) triple14) -> rule3)) -> rule4))] The tiger is red.[(((((((triple10 triple6) -> rule1) triple14) -> rule3) triple5) -> rule2) OR ((((((triple5 triple1) -> rule1) triple14) -> rule3) triple5) -> rule2))]