Fiona is big. Fiona is kind. Fiona is red. Fiona is smart. Gary is big. Gary is cold. Gary is kind. Gary is red. Gary is smart. Gary is white. Gary is young. Harry is cold. Harry is kind. Harry is red. Harry is smart. Harry is young. If something is red then it is cold.
Harry is not cold.
@0: Fiona is big.[(triple1)] Fiona is kind.[(triple2)] Fiona is red.[(triple3)] Fiona is smart.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6 OR ((triple8) -> rule1))] Gary is kind.[(triple7)] Gary is red.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] Gary is young.[(triple11)] Harry is cold.[(triple12 OR ((triple14) -> rule1))] Harry is kind.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Fiona is cold.[(((triple3) -> rule1))]