The squirrel is big. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is round. If someone is kind and red then they are big. If the squirrel is red and the squirrel is big then the squirrel is round. If someone is round and kind then they are red. If someone is big then they are rough. If someone is round and kind then they are big. All red people are round.
The squirrel does not see the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple2 triple3) -> rule1) OR ((triple5 triple2) -> rule5) OR ((triple2 ((triple5 triple2) -> rule3)) -> rule1) OR ((((triple3) -> rule6) triple2) -> rule5))] The squirrel is kind.[(triple2)] The squirrel is red.[(triple3 OR ((triple5 triple2) -> rule3))] The squirrel is rough.[(triple4 OR ((triple1) -> rule4) OR ((((triple2 triple3) -> rule1)) -> rule4) OR ((((triple5 triple2) -> rule5)) -> rule4) OR ((((triple2 ((triple5 triple2) -> rule3)) -> rule1)) -> rule4) OR ((((((triple3) -> rule6) triple2) -> rule5)) -> rule4))] The squirrel is round.[(triple5 OR ((triple3) -> rule6) OR ((triple3 triple1) -> rule2) OR ((triple3 ((triple2 triple3) -> rule1)) -> rule2))]