The cat chases the lion. The cat chases the rabbit. The cat is red. The cat sees the lion. The cat sees the rabbit. The lion does not chase the cat. The lion chases the rabbit. The lion is not nice. The rabbit is not cold. The rabbit sees the cat. If something is red and it sees the rabbit then the rabbit chases the cat. If something chases the cat then the cat is rough.
The cat is not rough.
@0: The cat chases the lion.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is red.[(triple3)] The cat sees the lion.[(triple4)] The cat sees the rabbit.[(triple5)] The lion chases the rabbit.[(triple7)] The lion does not chase the cat.[(triple6)] The lion is not nice.[(triple8)] The rabbit is not cold.[(triple9)] The rabbit sees the cat.[(triple10)] @1: The rabbit chases the cat.[(((triple3 triple5) -> rule1))] @2: The cat is rough.[(((((triple3 triple5) -> rule1)) -> rule2))]