Anne is furry. Fiona is cold. Gary is kind. Harry is smart. Red, cold people are not young. All blue people are young. If Gary is blue and Gary is cold then Gary is young. Cold people are blue. Furry, kind people are not blue. All cold people are blue. All young people are not red. If Fiona is blue then Fiona is smart.
Gary is kind.
@0: Anne is furry.[(triple1)] Fiona is cold.[(triple2)] Gary is kind.[(triple3)] Harry is smart.[(triple4)] @1: Fiona is blue.[(((triple2) -> rule4) OR ((triple2) -> rule6))] @2: Fiona is smart.[(((((triple2) -> rule4)) -> rule8) OR ((((triple2) -> rule6)) -> rule8))] Fiona is young.[(((((triple2) -> rule4)) -> rule2) OR ((((triple2) -> rule6)) -> rule2))] @3: Fiona is not red.[(((((((triple2) -> rule4)) -> rule2)) -> rule7) OR ((((((triple2) -> rule6)) -> rule2)) -> rule7))]