The bear chases the dog. The bear likes the squirrel. The bear visits the cat. The cat chases the dog. The cat is kind. The cat likes the dog. The dog is kind. The squirrel is big. The squirrel is rough. The squirrel does not visit the cat. If something likes the squirrel and it visits the cat then the squirrel likes the dog. If something visits the squirrel and the squirrel visits the dog then it is round. If something likes the cat then it is not round. All nice things are round. If something visits the squirrel and the squirrel likes the cat then it is round. If the squirrel does not like the bear then the squirrel does not visit the bear. If something is big then it is nice. If something likes the squirrel and the squirrel is round then it is rough.
The bear is not kind.
@0: The bear chases the dog.[(triple1)] The bear likes the squirrel.[(triple2)] The bear visits the cat.[(triple3)] The cat chases the dog.[(triple4)] The cat is kind.[(triple5)] The cat likes the dog.[(triple6)] The dog is kind.[(triple7)] The squirrel does not visit the cat.[(triple10)] The squirrel is big.[(triple8)] The squirrel is rough.[(triple9)] @1: The squirrel is nice.[(((triple8) -> rule7))] The squirrel likes the dog.[(((triple2 triple3) -> rule1))] @2: The squirrel is round.[(((((triple8) -> rule7)) -> rule4))] @3: The bear is rough.[(((triple2 ((((triple8) -> rule7)) -> rule4)) -> rule8))]