The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is red. The squirrel is rough. All rough, blue people are kind. All red, blue people are rough. All red, rough people are big.
The squirrel visits the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple4 triple2) -> rule2)) -> rule3))] The squirrel is blue.[(triple2)] The squirrel is kind.[(triple3 OR ((triple5 triple2) -> rule1) OR ((((triple4 triple2) -> rule2) triple2) -> rule1))] The squirrel is red.[(triple4)] The squirrel is rough.[(triple5 OR ((triple4 triple2) -> rule2))]