The cat chases the rabbit. The cat is round. The cat likes the tiger. The cat sees the tiger. The rabbit chases the cat. The rabbit chases the tiger. The rabbit is not blue. The rabbit is round. The rabbit does not like the cat. The rabbit likes the tiger. The rabbit sees the tiger. The tiger does not chase the cat. The tiger chases the rabbit. The tiger is young. The tiger sees the rabbit. If something chases the rabbit then the rabbit is round. If something sees the tiger then the tiger does not chase the cat. If something chases the tiger and it does not chase the cat then the tiger is round.
The tiger is not round.
@0: The cat chases the rabbit.[(triple1)] The cat is round.[(triple2)] The cat likes the tiger.[(triple3)] The cat sees the tiger.[(triple4)] The rabbit chases the cat.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit does not like the cat.[(triple9)] The rabbit is not blue.[(triple7)] The rabbit is round.[(triple8 OR ((triple1) -> rule1) OR ((triple13) -> rule1))] The rabbit likes the tiger.[(triple10)] The rabbit sees the tiger.[(triple11)] The tiger chases the rabbit.[(triple13)] The tiger does not chase the cat.[(triple12 OR ((triple11) -> rule2) OR ((triple4) -> rule2))] The tiger is young.[(triple14)] The tiger sees the rabbit.[(triple15)]