Erin is big. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Erin is white. If Erin is rough then Erin is quiet. If something is rough and round then it is kind. If something is round and quiet then it is rough. If something is big and round then it is rough. All white things are kind. If something is round and rough then it is smart.
Erin is round.
@0: Erin is big.[(triple1)] Erin is kind.[(triple2 OR ((triple7) -> rule5) OR ((triple4 triple5) -> rule2) OR ((((triple1 triple5) -> rule4) triple5) -> rule2) OR ((((triple5 triple3) -> rule3) triple5) -> rule2))] Erin is quiet.[(triple3 OR ((triple4) -> rule1) OR ((((triple1 triple5) -> rule4)) -> rule1))] Erin is rough.[(triple4 OR ((triple1 triple5) -> rule4) OR ((triple5 triple3) -> rule3))] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple1 triple5) -> rule4)) -> rule6) OR ((triple5 ((triple5 triple3) -> rule3)) -> rule6))] Erin is white.[(triple7)]