Fiona is cold. Fiona is quiet. Gary is red. If Fiona is kind then Fiona is nice. All kind people are round. All red people are kind. If Gary is nice then Gary is quiet. Red, cold people are round. If someone is round then they are cold. Nice, furry people are kind. If Gary is red and Gary is kind then Gary is round.
Fiona is cold.
@0: Fiona is cold.[(triple1)] Fiona is quiet.[(triple2)] Gary is red.[(triple3)] @1: Gary is kind.[(((triple3) -> rule3))] @2: Gary is round.[(((((triple3) -> rule3)) -> rule2) OR ((triple3 ((triple3) -> rule3)) -> rule8))] @3: Gary is cold.[(((((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule6))]