The dog is big. The dog does not need the tiger. The dog sees the tiger. The dog visits the squirrel. The rabbit is nice. The rabbit is young. The rabbit sees the squirrel. The rabbit visits the dog. The squirrel is cold. The squirrel is not nice. The tiger is not nice. The tiger is round. The tiger needs the rabbit. The tiger sees the rabbit. The tiger does not visit the dog. The tiger visits the squirrel. If someone visits the rabbit and they visit the tiger then the tiger needs the dog. If someone is young and they visit the squirrel then the squirrel needs the dog. If someone is big then they see the squirrel. If someone is big and they visit the tiger then they are young. If someone needs the squirrel and the squirrel needs the dog then the dog visits the tiger. If someone is young then they need the squirrel. If someone sees the rabbit and they are round then the rabbit visits the squirrel. If someone is big and they do not visit the tiger then the tiger visits the dog.
The dog is not nice.
@0: The dog does not need the tiger.[(triple2)] The dog is big.[(triple1)] The dog sees the tiger.[(triple3)] The dog visits the squirrel.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is young.[(triple6)] The rabbit sees the squirrel.[(triple7)] The rabbit visits the dog.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is not nice.[(triple10)] The tiger does not visit the dog.[(triple15)] The tiger is not nice.[(triple11)] The tiger is round.[(triple12)] The tiger needs the rabbit.[(triple13)] The tiger sees the rabbit.[(triple14)] The tiger visits the squirrel.[(triple16)] @1: The dog sees the squirrel.[(((triple1) -> rule3))] The rabbit needs the squirrel.[(((triple6) -> rule6))] The rabbit visits the squirrel.[(((triple14 triple12) -> rule7))] @2: The squirrel needs the dog.[(((triple6 ((triple14 triple12) -> rule7)) -> rule2))] @3: The dog visits the tiger.[(((((triple6) -> rule6) ((triple6 ((triple14 triple12) -> rule7)) -> rule2)) -> rule5))] @4: The dog is young.[(((triple1 ((((triple6) -> rule6) ((triple6 ((triple14 triple12) -> rule7)) -> rule2)) -> rule5)) -> rule4))] @5: The dog needs the squirrel.[(((((triple1 ((((triple6) -> rule6) ((triple6 ((triple14 triple12) -> rule7)) -> rule2)) -> rule5)) -> rule4)) -> rule6))]