The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is rough. All rough things are cold. Big things are green. Rough, cold things are green. If something is kind and not cold then it is big. Rough, big things are kind. If something is rough and not cold then it is not kind. If something is cold and big then it is kind. If the squirrel is big and the squirrel is not kind then the squirrel is green.
The squirrel does not like the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is cold.[(triple2 OR ((triple5) -> rule1))] The squirrel is green.[(triple3 OR ((triple1) -> rule2) OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple5) -> rule1)) -> rule3))] The squirrel is kind.[(triple4 OR ((triple2 triple1) -> rule7) OR ((triple5 triple1) -> rule5) OR ((((triple5) -> rule1) triple1) -> rule7))] The squirrel is rough.[(triple5)]