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