The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is not rough. If something is rough and nice then it is green. Nice things are green. All green things are kind. If something is green then it is not rough. Rough, big things are nice. Rough things are not big.
The squirrel visits the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2 OR ((triple4) -> rule2))] The squirrel is kind.[(triple3 OR ((triple2) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] The squirrel is nice.[(triple4)] The squirrel is not rough.[(triple5 OR ((triple2) -> rule4) OR ((((triple4) -> rule2)) -> rule4))]