Charlie is cold. Charlie is red. Charlie is round. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. All quiet, red people are round. Rough people are cold. All quiet, cold people are kind. All quiet, rough people are kind. All round, quiet people are kind. If someone is round and cold then they are quiet.
Charlie is quiet.
@0: Charlie is cold.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7)] @1: Charlie is quiet.[(((triple3 triple1) -> rule6))] Fiona is cold.[(((triple6) -> rule2))] @2: Charlie is kind.[(((triple3 ((triple3 triple1) -> rule6)) -> rule5) OR ((((triple3 triple1) -> rule6) triple1) -> rule3))] Fiona is quiet.[(((triple7 ((triple6) -> rule2)) -> rule6))] @3: Fiona is kind.[(((triple7 ((triple7 ((triple6) -> rule2)) -> rule6)) -> rule5) OR ((((triple7 ((triple6) -> rule2)) -> rule6) triple6) -> rule4) OR ((((triple7 ((triple6) -> rule2)) -> rule6) ((triple6) -> rule2)) -> rule3))]