Fiona is blue. Fiona is green. Fiona is quiet. All cold people are kind. If someone is cold then they are kind. All kind people are young. All cold, blue people are white. All young, white people are quiet. If someone is blue and quiet then they are cold.
Fiona is cold.
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] @1: Fiona is cold.[(((triple1 triple3) -> rule6))] @2: Fiona is kind.[(((((triple1 triple3) -> rule6)) -> rule1) OR ((((triple1 triple3) -> rule6)) -> rule2))] Fiona is white.[(((((triple1 triple3) -> rule6) triple1) -> rule4))] @3: Fiona is young.[(((((((triple1 triple3) -> rule6)) -> rule1)) -> rule3) OR ((((((triple1 triple3) -> rule6)) -> rule2)) -> rule3))]