Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Gary is blue. Gary is furry. Gary is green. Gary is quiet. Gary is round. If someone is kind and cold then they are green. Quiet, blue people are kind.
Fiona is cold.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is kind.[(triple4 OR ((triple5 triple1) -> rule2))] Fiona is quiet.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] @1: Fiona is green.[(((triple4 triple2) -> rule1) OR ((((triple5 triple1) -> rule2) triple2) -> rule1))] Gary is kind.[(((triple9 triple6) -> rule2))]