The dog is rough. The lion eats the dog. The lion is blue. The lion is rough. The rabbit eats the dog. The rabbit eats the lion. The rabbit is kind. The rabbit is red. The rabbit sees the lion. The rabbit sees the squirrel. The squirrel eats the dog. The squirrel is blue. The squirrel is red. The squirrel is rough. The squirrel likes the lion. The squirrel sees the dog. If someone sees the squirrel then they are kind. If someone likes the dog and they are green then they are kind. If someone is rough then they eat the lion. If someone is kind then they eat the rabbit. If someone is kind and they see the lion then they like the lion. If the rabbit likes the lion then the lion sees the squirrel. If someone likes the squirrel then they are red. If someone is red and they eat the squirrel then they see the rabbit.
The lion sees the squirrel.
@0: The dog is rough.[(triple1)] The lion eats the dog.[(triple2)] The lion is blue.[(triple3)] The lion is rough.[(triple4)] The rabbit eats the dog.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is kind.[(triple7 OR ((triple10) -> rule1))] The rabbit is red.[(triple8)] The rabbit sees the lion.[(triple9)] The rabbit sees the squirrel.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel likes the lion.[(triple15)] The squirrel sees the dog.[(triple16)] @1: The dog eats the lion.[(((triple1) -> rule3))] The lion eats the lion.[(((triple4) -> rule3))] The rabbit eats the rabbit.[(((triple7) -> rule4) OR ((((triple10) -> rule1)) -> rule4))] The rabbit likes the lion.[(((triple7 triple9) -> rule5) OR ((((triple10) -> rule1) triple9) -> rule5))] The squirrel eats the lion.[(((triple14) -> rule3))] @2: The lion sees the squirrel.[(((((triple7 triple9) -> rule5)) -> rule6) OR ((((((triple10) -> rule1) triple9) -> rule5)) -> rule6))] @3: The lion is kind.[(((((((triple7 triple9) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple10) -> rule1) triple9) -> rule5)) -> rule6)) -> rule1))] @4: The lion eats the rabbit.[(((((((((triple7 triple9) -> rule5)) -> rule6)) -> rule1)) -> rule4) OR ((((((((((triple10) -> rule1) triple9) -> rule5)) -> rule6)) -> rule1)) -> rule4))]