Anne is big. Anne is cold. Anne is quiet. Bob is nice. Bob is rough. Bob is round. Fiona is big. Fiona is furry. Fiona is nice. Fiona is quiet. If something is cold then it is rough. If Fiona is round and Fiona is nice then Fiona is cold. If Fiona is quiet and Fiona is nice then Fiona is round.
Anne is quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is quiet.[(triple3)] Bob is nice.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Fiona is big.[(triple7)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] @1: Anne is rough.[(((triple2) -> rule1))] Fiona is round.[(((triple10 triple9) -> rule3))] @2: Fiona is cold.[(((((triple10 triple9) -> rule3) triple9) -> rule2))] @3: Fiona is rough.[(((((((triple10 triple9) -> rule3) triple9) -> rule2)) -> rule1))]