The dog is kind. The dog likes the rabbit. The dog needs the rabbit. The dog needs the squirrel. The rabbit chases the dog. The rabbit is green. The rabbit is kind. The rabbit likes the dog. The rabbit needs the dog. The squirrel is red. The squirrel is rough. The squirrel likes the dog. The squirrel likes the rabbit. The squirrel needs the dog. The squirrel needs the rabbit. If someone is red then they need the rabbit. If the squirrel is kind then the squirrel is green. If someone likes the squirrel and the squirrel needs the dog then the dog chases the rabbit. If someone chases the dog then they are kind. If the dog likes the squirrel and the dog likes the rabbit then the rabbit is nice. If someone likes the rabbit then they chase the dog.
The dog does not like the dog.
@0: The dog is kind.[(triple1 OR ((((triple2) -> rule6)) -> rule4))] The dog likes the rabbit.[(triple2)] The dog needs the rabbit.[(triple3)] The dog needs the squirrel.[(triple4)] The rabbit chases the dog.[(triple5)] The rabbit is green.[(triple6)] The rabbit is kind.[(triple7 OR ((triple5) -> rule4))] The rabbit likes the dog.[(triple8)] The rabbit needs the dog.[(triple9)] The squirrel is red.[(triple10)] The squirrel is rough.[(triple11)] The squirrel likes the dog.[(triple12)] The squirrel likes the rabbit.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel needs the rabbit.[(triple15 OR ((triple10) -> rule1))] @1: The dog chases the dog.[(((triple2) -> rule6))] The squirrel chases the dog.[(((triple13) -> rule6))] @2: The squirrel is kind.[(((((triple13) -> rule6)) -> rule4))] @3: The squirrel is green.[(((((((triple13) -> rule6)) -> rule4)) -> rule2))]