Fiona is big. Fiona is not blue. Fiona is cold. Fiona is furry. Fiona is red. Fiona is smart. Fiona is young. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is red. Gary is smart. Gary is young. Harry is cold. Harry is young. All red, smart people are young. If Harry is red then Harry is furry. If Harry is cold then Harry is young. If Fiona is cold then Fiona is big. If Gary is red and Gary is big then Gary is smart. If Gary is furry and Gary is not big then Gary is smart.
Harry is not furry.
@0: Fiona is big.[(triple1 OR ((triple3) -> rule4))] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is not blue.[(triple2)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple5 triple6) -> rule1))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is red.[(triple12)] Gary is smart.[(triple13 OR ((triple12 triple8) -> rule5))] Gary is young.[(triple14 OR ((triple12 triple13) -> rule1) OR ((triple12 ((triple12 triple8) -> rule5)) -> rule1))] Harry is cold.[(triple15)] Harry is young.[(triple16 OR ((triple15) -> rule3))]