The dog chases the rabbit. The dog is big. The dog visits the squirrel. The rabbit chases the dog. The rabbit likes the dog. The squirrel chases the rabbit. The squirrel chases the tiger. The squirrel visits the dog. The tiger chases the rabbit. The tiger is round. The tiger visits the rabbit. The tiger visits the squirrel. If something is nice then it is rough. If something is big and it likes the dog then the dog is round. If something chases the squirrel then it is big. If something likes the squirrel and it chases the squirrel then the squirrel is young. If the tiger is young and the tiger chases the rabbit then the rabbit visits the dog. If something is rough then it likes the squirrel. If something likes the squirrel then the squirrel is nice. If the rabbit chases the dog and the dog chases the rabbit then the rabbit is nice.
The squirrel is not nice.
@0: The dog chases the rabbit.[(triple1)] The dog is big.[(triple2)] The dog visits the squirrel.[(triple3)] The rabbit chases the dog.[(triple4)] The rabbit likes the dog.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel visits the dog.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger is round.[(triple10)] The tiger visits the rabbit.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The rabbit is nice.[(((triple4 triple1) -> rule8))] @2: The rabbit is rough.[(((((triple4 triple1) -> rule8)) -> rule1))] @3: The rabbit likes the squirrel.[(((((((triple4 triple1) -> rule8)) -> rule1)) -> rule6))] @4: The squirrel is nice.[(((((((((triple4 triple1) -> rule8)) -> rule1)) -> rule6)) -> rule7))] @5: The squirrel is rough.[(((((((((((triple4 triple1) -> rule8)) -> rule1)) -> rule6)) -> rule7)) -> rule1))] @6: The squirrel likes the squirrel.[(((((((((((((triple4 triple1) -> rule8)) -> rule1)) -> rule6)) -> rule7)) -> rule1)) -> rule6))]