Erin is rough. Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is smart. Harry is big. Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is smart. If something is big then it is smart. Rough things are green. If something is smart then it is rough.
Harry is quiet.
@0: Erin is rough.[(triple1)] Fiona is big.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4 OR ((((triple6) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule3)) -> rule2))] Fiona is nice.[(triple5)] Fiona is smart.[(triple6 OR ((triple2) -> rule1))] Harry is big.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9 OR ((((triple12) -> rule3)) -> rule2) OR ((((((triple7) -> rule1)) -> rule3)) -> rule2))] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12 OR ((triple7) -> rule1))] @1: Erin is green.[(((triple1) -> rule2))] Fiona is rough.[(((triple6) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Harry is rough.[(((triple12) -> rule3) OR ((((triple7) -> rule1)) -> rule3))]