Erin is quiet. Erin is rough. Erin is white. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is white. All furry people are white. If someone is round and furry then they are kind. White people are round. If someone is nice then they are quiet. Furry people are white. If someone is kind and nice then they are round.
Erin is rough.
@0: Erin is quiet.[(triple1)] Erin is rough.[(triple2)] Erin is white.[(triple3)] Harry is furry.[(triple4)] Harry is kind.[(triple5 OR ((triple9 triple4) -> rule2) OR ((((triple10) -> rule3) triple4) -> rule2) OR ((((((triple4) -> rule1)) -> rule3) triple4) -> rule2) OR ((((((triple4) -> rule5)) -> rule3) triple4) -> rule2))] Harry is nice.[(triple6)] Harry is quiet.[(triple7 OR ((triple6) -> rule4))] Harry is rough.[(triple8)] Harry is round.[(triple9 OR ((triple10) -> rule3) OR ((triple5 triple6) -> rule6) OR ((((triple4) -> rule1)) -> rule3) OR ((((triple4) -> rule5)) -> rule3))] Harry is white.[(triple10 OR ((triple4) -> rule1) OR ((triple4) -> rule5))] @1: Erin is round.[(((triple3) -> rule3))]