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