The dog is cold. The dog is kind. The dog is rough. The dog needs the lion. The dog sees the lion. The dog sees the squirrel. The lion is big. The lion is cold. The lion is rough. The lion needs the dog. The lion sees the dog. The squirrel is cold. The squirrel is green. The squirrel needs the lion. The squirrel sees the lion. If something needs the lion and it sees the lion then the lion needs the squirrel. If something likes the lion and it is rough then it likes the dog. If something needs the lion and the lion sees the dog then it sees the squirrel. If something needs the squirrel and it needs the lion then the squirrel sees the dog. If something sees the lion then it needs the squirrel. If the squirrel sees the dog then the squirrel is rough. If something sees the dog then it is cold. If something needs the dog and the dog is big then the dog is kind.
The lion does not like the dog.
@0: The dog is cold.[(triple1)] The dog is kind.[(triple2)] The dog is rough.[(triple3)] The dog needs the lion.[(triple4)] The dog sees the lion.[(triple5)] The dog sees the squirrel.[(triple6 OR ((triple4 triple11) -> rule3))] The lion is big.[(triple7)] The lion is cold.[(triple8 OR ((triple11) -> rule7))] The lion is rough.[(triple9)] The lion needs the dog.[(triple10)] The lion sees the dog.[(triple11)] The squirrel is cold.[(triple12 OR ((((((triple15) -> rule5) triple14) -> rule4)) -> rule7) OR ((((((triple5) -> rule5) triple4) -> rule4)) -> rule7))] The squirrel is green.[(triple13)] The squirrel needs the lion.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The dog needs the squirrel.[(((triple5) -> rule5))] The lion needs the squirrel.[(((triple14 triple15) -> rule1) OR ((triple4 triple5) -> rule1))] The squirrel needs the squirrel.[(((triple15) -> rule5))] The squirrel sees the squirrel.[(((triple14 triple11) -> rule3))] @2: The squirrel sees the dog.[(((((triple15) -> rule5) triple14) -> rule4) OR ((((triple5) -> rule5) triple4) -> rule4))] @3: The squirrel is rough.[(((((((triple15) -> rule5) triple14) -> rule4)) -> rule6) OR ((((((triple5) -> rule5) triple4) -> rule4)) -> rule6))]