Erin is big. Erin is blue. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is white. If someone is round then they are red. If someone is round then they are red. If Erin is red then Erin is big.
Erin is blue.
@0: Erin is big.[(triple1 OR ((triple3) -> rule3) OR ((((triple5) -> rule1)) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] Erin is blue.[(triple2)] Erin is red.[(triple3 OR ((triple5) -> rule1) OR ((triple5) -> rule2))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)]