Erin is big. Erin is blue. Erin is quiet. Erin is rough. Erin is round. Fiona is big. Fiona is blue. Gary is quiet. Gary is rough. Gary is round. Harry is big. Harry is blue. Harry is quiet. Harry is rough. Harry is round. All round things are furry. If something is rough then it is quiet. All blue things are round. If something is quiet and big then it is rough. All blue things are young. If Gary is blue and Gary is rough then Gary is furry. If Fiona is furry and Fiona is big then Fiona is quiet. If Fiona is furry then Fiona is blue.
Fiona is furry.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is quiet.[(triple3 OR ((triple4) -> rule2))] Erin is rough.[(triple4 OR ((triple3 triple1) -> rule4))] Erin is round.[(triple5 OR ((triple2) -> rule3))] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Gary is quiet.[(triple8 OR ((triple9) -> rule2))] Gary is rough.[(triple9)] Gary is round.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is quiet.[(triple13 OR ((triple14) -> rule2))] Harry is rough.[(triple14 OR ((triple13 triple11) -> rule4))] Harry is round.[(triple15 OR ((triple12) -> rule3))] @1: Erin is furry.[(((triple5) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] Erin is young.[(((triple2) -> rule5))] Fiona is round.[(((triple7) -> rule3))] Fiona is young.[(((triple7) -> rule5))] Gary is furry.[(((triple10) -> rule1))] Harry is furry.[(((triple15) -> rule1) OR ((((triple12) -> rule3)) -> rule1))] Harry is young.[(((triple12) -> rule5))] @2: Fiona is furry.[(((((triple7) -> rule3)) -> rule1))] @3: Fiona is quiet.[(((((((triple7) -> rule3)) -> rule1) triple6) -> rule7))] @4: Fiona is rough.[(((((((((triple7) -> rule3)) -> rule1) triple6) -> rule7) triple6) -> rule4))]