Anne is kind. Anne is quiet. Bob is cold. Bob is quiet. Charlie is cold. Charlie is red. Fiona is red. Quiet, rough people are round. If someone is round then they are cold. If someone is smart then they are round. Smart, red people are round. If someone is quiet and kind then they are red. If someone is red and quiet then they are rough.
Fiona is not round.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Bob is cold.[(triple3)] Bob is quiet.[(triple4)] Charlie is cold.[(triple5)] Charlie is red.[(triple6)] Fiona is red.[(triple7)] @1: Anne is red.[(((triple2 triple1) -> rule5))] @2: Anne is rough.[(((((triple2 triple1) -> rule5) triple2) -> rule6))] @3: Anne is round.[(((triple2 ((((triple2 triple1) -> rule5) triple2) -> rule6)) -> rule1))] @4: Anne is cold.[(((((triple2 ((((triple2 triple1) -> rule5) triple2) -> rule6)) -> rule1)) -> rule2))]