Anne is cold. Anne is kind. Anne is round. Harry is cold. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is white. Harry is young. Young, rough people are quiet. All round, young people are cold. If Harry is round then Harry is white. Rough, round people are white. If someone is white and young then they are cold. All cold people are kind.
Anne is rough.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule6))] Anne is round.[(triple3)] Harry is cold.[(triple4 OR ((triple8 triple10) -> rule2) OR ((triple9 triple10) -> rule5) OR ((((triple8) -> rule3) triple10) -> rule5) OR ((((triple7 triple8) -> rule4) triple10) -> rule5))] Harry is kind.[(triple5 OR ((triple4) -> rule6) OR ((((triple8 triple10) -> rule2)) -> rule6) OR ((((triple9 triple10) -> rule5)) -> rule6) OR ((((((triple8) -> rule3) triple10) -> rule5)) -> rule6) OR ((((((triple7 triple8) -> rule4) triple10) -> rule5)) -> rule6))] Harry is quiet.[(triple6 OR ((triple10 triple7) -> rule1))] Harry is rough.[(triple7)] Harry is round.[(triple8)] Harry is white.[(triple9 OR ((triple8) -> rule3) OR ((triple7 triple8) -> rule4))] Harry is young.[(triple10)]