The lion is blue. The lion is cold. The lion is kind. The lion is round. The lion is young. The lion likes the rabbit. The lion sees the rabbit. The lion visits the rabbit. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is round. The rabbit is young. The rabbit likes the lion. The rabbit sees the lion. The rabbit visits the lion. If something likes the rabbit then the rabbit visits the lion. If something visits the lion and it sees the lion then the lion likes the rabbit. If something is kind then it sees the lion. If something sees the lion and the lion is blue then it likes the lion. If something sees the rabbit and it likes the lion then it visits the lion. If something visits the lion and the lion sees the rabbit then the rabbit visits the lion.
The lion visits the lion.
@0: The lion is blue.[(triple1)] The lion is cold.[(triple2)] The lion is kind.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5)] The lion likes the rabbit.[(triple6 OR ((triple16 triple15) -> rule2) OR ((triple16 ((triple11) -> rule3)) -> rule2) OR ((((triple7 ((((triple3) -> rule3) triple1) -> rule4)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((triple7 ((((triple3) -> rule3) triple1) -> rule4)) -> rule5) triple7) -> rule6) triple15) -> rule2) OR ((((((triple7 ((((triple3) -> rule3) triple1) -> rule4)) -> rule5) triple7) -> rule6) ((triple11) -> rule3)) -> rule2))] The lion sees the rabbit.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is round.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the lion.[(triple14 OR ((triple15 triple1) -> rule4) OR ((((triple11) -> rule3) triple1) -> rule4))] The rabbit sees the lion.[(triple15 OR ((triple11) -> rule3))] The rabbit visits the lion.[(triple16 OR ((triple6) -> rule1) OR ((((triple7 ((((triple3) -> rule3) triple1) -> rule4)) -> rule5) triple7) -> rule6) OR ((((((triple7 ((((triple3) -> rule3) triple1) -> rule4)) -> rule5) ((triple3) -> rule3)) -> rule2)) -> rule1))] @1: The lion sees the lion.[(((triple3) -> rule3))] @2: The lion likes the lion.[(((((triple3) -> rule3) triple1) -> rule4))] @3: The lion visits the lion.[(((triple7 ((((triple3) -> rule3) triple1) -> rule4)) -> rule5))]