The dog is cold. The dog sees the tiger. The lion is cold. The lion likes the dog. The lion needs the dog. The lion sees the dog. The squirrel is rough. The squirrel does not like the lion. The squirrel needs the dog. The squirrel needs the tiger. The tiger likes the lion. The tiger likes the squirrel. The tiger needs the lion. The tiger sees the squirrel. If someone likes the lion then they are kind. If someone is cold and kind then they are rough. If someone is kind then they like the dog. If someone likes the dog and the dog is rough then they are not cold. If someone is kind and they need the lion then the lion likes the squirrel. If someone is cold and they like the squirrel then they like the lion.
The dog is rough.
@0: The dog is cold.[(triple1)] The dog sees the tiger.[(triple2)] The lion is cold.[(triple3)] The lion likes the dog.[(triple4 OR ((((((triple3 ((((triple11) -> rule1) triple13) -> rule5)) -> rule6)) -> rule1)) -> rule3))] The lion needs the dog.[(triple5)] The lion sees the dog.[(triple6)] The squirrel does not like the lion.[(triple8)] The squirrel is rough.[(triple7)] The squirrel needs the dog.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger likes the lion.[(triple11)] The tiger likes the squirrel.[(triple12)] The tiger needs the lion.[(triple13)] The tiger sees the squirrel.[(triple14)] @1: The tiger is kind.[(((triple11) -> rule1))] @2: The lion likes the squirrel.[(((((triple11) -> rule1) triple13) -> rule5))] The tiger likes the dog.[(((((triple11) -> rule1)) -> rule3))] @3: The lion likes the lion.[(((triple3 ((((triple11) -> rule1) triple13) -> rule5)) -> rule6))] @4: The lion is kind.[(((((triple3 ((((triple11) -> rule1) triple13) -> rule5)) -> rule6)) -> rule1))] @5: The lion is rough.[(((triple3 ((((triple3 ((((triple11) -> rule1) triple13) -> rule5)) -> rule6)) -> rule1)) -> rule2))]