Dave is big. Dave is blue. Dave is cold. Dave is nice. Dave is young. Fiona is big. Fiona is cold. Gary is cold. Gary is kind. Gary is nice. Gary is young. Harry is big. Harry is cold. Harry is kind. Harry is white. Harry is young. If someone is big then they are blue. Kind, young people are nice.
Gary is kind.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1) -> rule1))] Dave is cold.[(triple3)] Dave is nice.[(triple4)] Dave is young.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10 OR ((triple9 triple11) -> rule2))] Gary is young.[(triple11)] Harry is big.[(triple12)] Harry is cold.[(triple13)] Harry is kind.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Fiona is blue.[(((triple6) -> rule1))] Harry is blue.[(((triple12) -> rule1))] Harry is nice.[(((triple14 triple16) -> rule2))]