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