Erin is big. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is young. If someone is red and round then they are quiet. Red, kind people are quiet. Red, young people are round. All kind, red people are round. If someone is red then they are quiet. If someone is kind then they are quiet.
Erin is nice.
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple2) -> rule6) OR ((triple5) -> rule5) OR ((triple5 triple2) -> rule2) OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple2 triple5) -> rule4)) -> rule1) OR ((triple5 ((triple5 triple7) -> rule3)) -> rule1))] Erin is red.[(triple5)] Erin is round.[(triple6 OR ((triple2 triple5) -> rule4) OR ((triple5 triple7) -> rule3))] Erin is young.[(triple7)]