Erin is big. Erin is not cold. Erin is furry. Erin is kind. Erin is quiet. Erin is round. Erin is white. All white, round things are quiet. White things are round. If Erin is round and Erin is quiet then Erin is not cold. If Erin is kind then Erin is quiet. All cold things are not kind. If Erin is quiet and Erin is not round then Erin is kind. Cold things are not furry. If Erin is not quiet then Erin is not big.
Erin is quiet.
@0: Erin is big.[(triple1)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is not cold.[(triple2 OR ((triple6 triple5) -> rule3) OR ((triple6 ((triple4) -> rule4)) -> rule3) OR ((triple6 ((triple7 triple6) -> rule1)) -> rule3) OR ((((triple7) -> rule2) triple5) -> rule3) OR ((((triple7) -> rule2) ((triple4) -> rule4)) -> rule3) OR ((((triple7) -> rule2) ((triple7 triple6) -> rule1)) -> rule3) OR ((triple6 ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3) OR ((((triple7) -> rule2) ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3))] Erin is quiet.[(triple5 OR ((triple4) -> rule4) OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple7) -> rule2)) -> rule1))] Erin is round.[(triple6 OR ((triple7) -> rule2))] Erin is white.[(triple7)]