Anne is big. Anne is cold. Anne is kind. Bob is cold. Bob is kind. Bob is white. Erin is cold. Erin is quiet. Erin is white. Erin is young. If Anne is white then Anne is kind. All cold, green things are young. If something is white and quiet then it is kind. All big things are green. If something is white and quiet then it is young. Young, white things are cold.
Erin is quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Bob is cold.[(triple4)] Bob is kind.[(triple5)] Bob is white.[(triple6)] Erin is cold.[(triple7 OR ((triple10 triple9) -> rule6) OR ((((triple9 triple8) -> rule5) triple9) -> rule6))] Erin is quiet.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10 OR ((triple9 triple8) -> rule5))] @1: Anne is green.[(((triple1) -> rule4))] Erin is kind.[(((triple9 triple8) -> rule3))] @2: Anne is young.[(((triple2 ((triple1) -> rule4)) -> rule2))]