Bob is green. Bob is kind. Charlie is green. Charlie is kind. Fiona is cold. Gary is kind. Gary is round. If Gary is cold then Gary is quiet. If Fiona is round then Fiona is quiet. If someone is big then they are cold. Blue people are green. Cold, green people are round. Cold people are green.
Bob is not cold.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Fiona is cold.[(triple5)] Gary is kind.[(triple6)] Gary is round.[(triple7)] @1: Fiona is green.[(((triple5) -> rule6))] @2: Fiona is round.[(((triple5 ((triple5) -> rule6)) -> rule5))] @3: Fiona is quiet.[(((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule2))]