Erin is not big. Erin is kind. Erin is quiet. Erin is not smart. Erin is not young. Fiona is big. Fiona is kind. Fiona is quiet. Fiona is red. Harry is quiet. Harry is red. Harry is smart. If someone is red and not kind then they are round. If someone is big and kind then they are not round. All big people are young. All round, quiet people are young. If Harry is young then Harry is smart. Smart, red people are quiet.
Erin is kind.
@0: Erin is kind.[(triple2)] Erin is not big.[(triple1)] Erin is not smart.[(triple4)] Erin is not young.[(triple5)] Erin is quiet.[(triple3)] Fiona is big.[(triple6)] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Harry is quiet.[(triple10 OR ((triple12 triple11) -> rule6))] Harry is red.[(triple11)] Harry is smart.[(triple12)] @1: Fiona is not round.[(((triple6 triple7) -> rule2))] Fiona is young.[(((triple6) -> rule3))]