The lion is round. The rabbit is red. The rabbit likes the lion. The rabbit likes the tiger. The rabbit sees the squirrel. The squirrel likes the rabbit. The squirrel does not need the lion. The squirrel needs the tiger. The squirrel sees the rabbit. The tiger is blue. The tiger is round. The tiger is young. The tiger likes the lion. The tiger likes the rabbit. If something is red then it needs the squirrel. If something sees the rabbit and the rabbit is round then it is red. If something needs the squirrel then it is round. If something needs the squirrel and it is not round then the squirrel likes the lion. If something likes the lion then the lion likes the squirrel. If something likes the lion and the lion is cold then the lion likes the squirrel. If something likes the lion and the lion likes the squirrel then the squirrel sees the tiger. If something is cold and it does not see the tiger then the tiger likes the rabbit.
The tiger sees the lion.
@0: The lion is round.[(triple1)] The rabbit is red.[(triple2)] The rabbit likes the lion.[(triple3)] The rabbit likes the tiger.[(triple4)] The rabbit sees the squirrel.[(triple5)] The squirrel does not need the lion.[(triple7)] The squirrel likes the rabbit.[(triple6)] The squirrel needs the tiger.[(triple8)] The squirrel sees the rabbit.[(triple9)] The tiger is blue.[(triple10)] The tiger is round.[(triple11)] The tiger is young.[(triple12)] The tiger likes the lion.[(triple13)] The tiger likes the rabbit.[(triple14)] @1: The lion likes the squirrel.[(((triple13) -> rule5) OR ((triple3) -> rule5))] The rabbit needs the squirrel.[(((triple2) -> rule1))] @2: The rabbit is round.[(((((triple2) -> rule1)) -> rule3))] The squirrel sees the tiger.[(((triple13 ((triple13) -> rule5)) -> rule7) OR ((triple13 ((triple3) -> rule5)) -> rule7) OR ((triple3 ((triple13) -> rule5)) -> rule7) OR ((triple3 ((triple3) -> rule5)) -> rule7))] @3: The squirrel is red.[(((triple9 ((((triple2) -> rule1)) -> rule3)) -> rule2))] @4: The squirrel needs the squirrel.[(((((triple9 ((((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule1))] @5: The squirrel is round.[(((((((triple9 ((((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule1)) -> rule3))]