The bear is young. The bear visits the lion. The cat is round. The cat needs the bear. The lion is cold. The lion is not green. The lion is round. The lion does not need the bear. The lion sees the bear. The lion visits the bear. The lion visits the cat. The lion visits the rabbit. The rabbit is green. The rabbit is rough. The rabbit sees the lion. The rabbit visits the cat. If something visits the cat then the cat sees the lion. If something visits the lion and the lion visits the rabbit then it needs the lion. If something needs the lion and the lion is round then it needs the cat. If something is green and it needs the rabbit then the rabbit is green. If something is round then it visits the lion. If something sees the cat and the cat visits the lion then it is not rough. If something needs the cat and it is not green then it sees the cat. If something is young and it visits the bear then it sees the cat.
The cat needs the cat.
@0: The bear is young.[(triple1)] The bear visits the lion.[(triple2)] The cat is round.[(triple3)] The cat needs the bear.[(triple4)] The lion does not need the bear.[(triple8)] The lion is cold.[(triple5)] The lion is not green.[(triple6)] The lion is round.[(triple7)] The lion sees the bear.[(triple9)] The lion visits the bear.[(triple10)] The lion visits the cat.[(triple11)] The lion visits the rabbit.[(triple12)] The rabbit is green.[(triple13)] The rabbit is rough.[(triple14)] The rabbit sees the lion.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The bear needs the lion.[(((triple2 triple12) -> rule2))] The cat sees the lion.[(((triple11) -> rule1) OR ((triple16) -> rule1))] The cat visits the lion.[(((triple3) -> rule5))] The lion visits the lion.[(((triple7) -> rule5))] @2: The bear needs the cat.[(((((triple2 triple12) -> rule2) triple7) -> rule3))] The cat needs the lion.[(((((triple3) -> rule5) triple12) -> rule2))] The lion needs the lion.[(((((triple7) -> rule5) triple12) -> rule2))] @3: The cat needs the cat.[(((((((triple3) -> rule5) triple12) -> rule2) triple7) -> rule3))] The lion needs the cat.[(((((((triple7) -> rule5) triple12) -> rule2) triple7) -> rule3))] @4: The lion sees the cat.[(((((((((triple7) -> rule5) triple12) -> rule2) triple7) -> rule3) triple6) -> rule7))] @5: The lion is not rough.[(((((((((((triple7) -> rule5) triple12) -> rule2) triple7) -> rule3) triple6) -> rule7) ((triple3) -> rule5)) -> rule6))]