The lion eats the rabbit. The lion is big. The lion is blue. The lion is rough. The lion likes the rabbit. The lion visits the rabbit. The rabbit eats the lion. The rabbit is big. The rabbit is kind. The rabbit is rough. The rabbit likes the lion. The rabbit visits the lion. If something is blue and it visits the lion then the lion visits the rabbit. If the lion likes the rabbit and the rabbit is blue then the lion is rough. If something likes the rabbit and it eats the lion then it visits the rabbit. If something is kind and it visits the rabbit then it visits the lion. If something likes the rabbit and the rabbit eats the lion then the lion likes the rabbit. If something is blue and rough then it likes the lion. If the lion likes the rabbit and the lion is big then the rabbit eats the lion. If something visits the rabbit then it is kind.
The lion eats the lion.
@0: The lion eats the rabbit.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is rough.[(triple4)] The lion likes the rabbit.[(triple5)] The lion visits the rabbit.[(triple6)] The rabbit eats the lion.[(triple7 OR ((triple5 triple2) -> rule7))] The rabbit is big.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the lion.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The lion is kind.[(((triple6) -> rule8))] The lion likes the lion.[(((triple3 triple4) -> rule6))] @2: The lion visits the lion.[(((((triple6) -> rule8) triple6) -> rule4))]