The lion chases the rabbit. The lion is blue. The lion is round. The rabbit chases the lion. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit likes the lion. The rabbit sees the lion. If something is round then it likes the lion. If the lion chases the rabbit then the lion sees the rabbit. If something likes the lion then the lion is kind. If something chases the rabbit then the rabbit is blue. If the lion chases the rabbit and the rabbit sees the lion then the rabbit is blue. If the rabbit sees the lion and the lion is kind then the lion likes the rabbit.
The rabbit does not like the lion.
@0: The lion chases the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is round.[(triple3)] The rabbit chases the lion.[(triple4)] The rabbit is blue.[(triple5 OR ((triple1) -> rule4) OR ((triple1 triple10) -> rule5))] The rabbit is cold.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is nice.[(triple8)] The rabbit likes the lion.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The lion is kind.[(((triple9) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] The lion likes the lion.[(((triple3) -> rule1))] The lion sees the rabbit.[(((triple1) -> rule2))] @2: The lion likes the rabbit.[(((triple10 ((triple9) -> rule3)) -> rule6) OR ((triple10 ((((triple3) -> rule1)) -> rule3)) -> rule6))]