Dave is blue. Dave is young. Erin is furry. Harry is blue. Harry is furry. Harry is round. Harry is young. If someone is furry then they are rough. If someone is quiet and blue then they are round. Quiet, rough people are young. If Erin is quiet then Erin is furry. If someone is rough then they are round. All round, furry people are young.
Erin is not round.
@0: Dave is blue.[(triple1)] Dave is young.[(triple2)] Erin is furry.[(triple3)] Harry is blue.[(triple4)] Harry is furry.[(triple5)] Harry is round.[(triple6 OR ((((triple5) -> rule1)) -> rule5))] Harry is young.[(triple7 OR ((triple6 triple5) -> rule6) OR ((((((triple5) -> rule1)) -> rule5) triple5) -> rule6))] @1: Erin is rough.[(((triple3) -> rule1))] Harry is rough.[(((triple5) -> rule1))] @2: Erin is round.[(((((triple3) -> rule1)) -> rule5))] @3: Erin is young.[(((((((triple3) -> rule1)) -> rule5) triple3) -> rule6))]