Erin is big. Erin is green. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Fiona is young. Harry is kind. Harry is rough. Harry is young. All rough people are big. If Harry is big then Harry is quiet. If someone is big and round then they are kind. If someone is rough and big then they are kind. Big, quiet people are round. All rough people are green.
Erin is not quiet.
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Fiona is green.[(triple3 OR ((triple5) -> rule6))] Fiona is kind.[(triple4 OR ((triple5 ((triple5) -> rule1)) -> rule4) OR ((((triple5) -> rule1) triple6) -> rule3))] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] Harry is kind.[(triple8 OR ((triple9 ((triple9) -> rule1)) -> rule4) OR ((((triple9) -> rule1) ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule2)) -> rule5)) -> rule3))] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Fiona is big.[(((triple5) -> rule1))] Harry is big.[(((triple9) -> rule1))] Harry is green.[(((triple9) -> rule6))] @2: Harry is quiet.[(((((triple9) -> rule1)) -> rule2))] @3: Harry is round.[(((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule2)) -> rule5))]