The lion is big. The lion is green. The lion is kind. The lion is not rough. The lion is not round. The lion likes the rabbit. The lion needs the rabbit. The lion sees the rabbit. The rabbit is not big. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit likes the lion. The rabbit does not need the lion. The rabbit sees the lion. If something likes the lion and it does not see the rabbit then it likes the rabbit. If something is round then it does not like the rabbit. If something sees the rabbit then it is green. If the rabbit is rough then the rabbit likes the lion. If something likes the lion and it sees the rabbit then the lion is big. If something sees the lion then it is round.
The rabbit likes the lion.
@0: The lion is big.[(triple1)] The lion is green.[(triple2 OR ((triple8) -> rule3))] The lion is kind.[(triple3)] The lion is not rough.[(triple4)] The lion is not round.[(triple5)] The lion likes the rabbit.[(triple6)] The lion needs the rabbit.[(triple7)] The lion sees the rabbit.[(triple8)] The rabbit does not need the lion.[(triple14)] The rabbit is green.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is not big.[(triple9)] The rabbit is rough.[(triple12)] The rabbit likes the lion.[(triple13 OR ((triple12) -> rule4))] The rabbit sees the lion.[(triple15)] @1: The rabbit is round.[(((triple15) -> rule6))] @2: The rabbit does not like the rabbit.[(((((triple15) -> rule6)) -> rule2))]