The cat is rough. The cat sees the lion. The lion eats the tiger. The lion is not cold. The lion is green. The lion does not see the tiger. The tiger does not chase the cat. The tiger eats the cat. The tiger is cold. The tiger is nice. If someone is rough then they see the lion. If someone eats the cat then the cat chases the lion. If someone chases the tiger and the tiger eats the lion then the lion chases the cat. If someone sees the lion and they see the cat then they do not chase the tiger. If someone is round and they eat the tiger then they chase the tiger. If someone chases the tiger then the tiger does not chase the cat.
The cat eats the tiger.
@0: The cat is rough.[(triple1)] The cat sees the lion.[(triple2 OR ((triple1) -> rule1))] The lion does not see the tiger.[(triple6)] The lion eats the tiger.[(triple3)] The lion is green.[(triple5)] The lion is not cold.[(triple4)] The tiger does not chase the cat.[(triple7)] The tiger eats the cat.[(triple8)] The tiger is cold.[(triple9)] The tiger is nice.[(triple10)] @1: The cat chases the lion.[(((triple8) -> rule2))]