Anne is quiet. Anne is red. Charlie is nice. Erin is blue. Erin is kind. Erin is nice. Erin is rough. Erin is round. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. If someone is round and red then they are rough. If someone is kind and rough then they are quiet.
Fiona is quiet.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Charlie is nice.[(triple3)] Erin is blue.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] @1: Erin is quiet.[(((triple5 triple7) -> rule2))] Fiona is rough.[(((triple12 triple11) -> rule1))] @2: Fiona is quiet.[(((triple9 ((triple12 triple11) -> rule1)) -> rule2))]