Bob is red. Bob is white. Fiona is nice. Gary is not cold. Gary is red. Harry is green. Harry is red. Harry is rough. Harry is round. Harry is white. Nice people are not rough. All rough, nice people are red. If someone is nice and not cold then they are white. If Fiona is white then Fiona is not nice. Green, rough people are round. If Gary is round then Gary is not rough.
Gary is green.
@0: Bob is red.[(triple1)] Bob is white.[(triple2)] Fiona is nice.[(triple3)] Gary is not cold.[(triple4)] Gary is red.[(triple5)] Harry is green.[(triple6)] Harry is red.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9 OR ((triple6 triple8) -> rule5))] Harry is white.[(triple10)] @1: Fiona is not rough.[(((triple3) -> rule1))]