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