Anne is young. Bob is quiet. Bob is not red. Bob is smart. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Fiona is red. Fiona is rough. If someone is round and young then they are cold. If someone is young and not smart then they are cold. Cold people are quiet. If someone is smart and not round then they are young. Quiet people are rough. All quiet, smart people are not red.
Anne is rough.
@0: Anne is young.[(triple1)] Bob is not red.[(triple3 OR ((triple2 triple4) -> rule6))] Bob is quiet.[(triple2)] Bob is smart.[(triple4)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6 OR ((triple5) -> rule5))] Charlie is smart.[(triple7)] Charlie is young.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] @1: Bob is rough.[(((triple2) -> rule5))] Charlie is not red.[(((triple5 triple7) -> rule6))]