The squirrel is nice. The squirrel is not red. The squirrel is rough. The squirrel is round. The squirrel is young. All red people are not nice. Young people are round. All rough, nice people are not red. All red, young people are rough. Red, young people are rough. All nice people are young.
The squirrel does not see the squirrel.
@0: The squirrel is nice.[(triple1)] The squirrel is not red.[(triple2 OR ((triple3 triple1) -> rule3))] The squirrel is rough.[(triple3)] The squirrel is round.[(triple4 OR ((triple5) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] The squirrel is young.[(triple5 OR ((triple1) -> rule6))]