The squirrel is big. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel is young. Young people are red. If someone is cold then they are young. If the squirrel is red then the squirrel is big. If someone is big and not young then they are kind. If someone is kind then they are big. If someone is red then they are big.
The squirrel likes the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple3) -> rule5) OR ((triple4) -> rule3) OR ((triple4) -> rule6) OR ((((triple5) -> rule1)) -> rule3) OR ((((triple5) -> rule1)) -> rule6) OR ((((((triple2) -> rule2)) -> rule1)) -> rule3) OR ((((((triple2) -> rule2)) -> rule1)) -> rule6))] The squirrel is cold.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is red.[(triple4 OR ((triple5) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] The squirrel is young.[(triple5 OR ((triple2) -> rule2))]