Dave is big. Dave is cold. Fiona is cold. Fiona is white. Gary is big. Gary is blue. Gary is white. Harry is not blue. Harry is cold. Harry is green. Harry is smart. Harry is young. All blue, green things are white. If Gary is smart then Gary is young. All blue things are not smart. If something is cold and big then it is smart. If Dave is white and Dave is green then Dave is blue. Blue, green things are big.
Harry is not young.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Fiona is cold.[(triple3)] Fiona is white.[(triple4)] Gary is big.[(triple5)] Gary is blue.[(triple6)] Gary is white.[(triple7)] Harry is cold.[(triple9)] Harry is green.[(triple10)] Harry is not blue.[(triple8)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Dave is smart.[(((triple2 triple1) -> rule4))] Gary is not smart.[(((triple6) -> rule3))]