The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is young. If the squirrel is nice and the squirrel is green then the squirrel is big. If something is nice then it is green. Cold things are young.
The squirrel is not big.
@0: The squirrel is big.[(triple1 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule1))] The squirrel is cold.[(triple2)] The squirrel is green.[(triple3 OR ((triple4) -> rule2))] The squirrel is nice.[(triple4)] The squirrel is young.[(triple5 OR ((triple2) -> rule3))]