Bob is red. Fiona is big. Fiona is blue. Fiona is kind. Fiona is red. Gary is blue. Gary is not kind. Gary is nice. Gary is quiet. Gary is white. Harry is nice. Harry is red. If someone is red and not kind then they are not big. If someone is quiet and nice then they are white. If someone is nice and not blue then they are not quiet.
Gary is kind.
@0: Bob is red.[(triple1)] Fiona is big.[(triple2)] Fiona is blue.[(triple3)] Fiona is kind.[(triple4)] Fiona is red.[(triple5)] Gary is blue.[(triple6)] Gary is nice.[(triple8)] Gary is not kind.[(triple7)] Gary is quiet.[(triple9)] Gary is white.[(triple10 OR ((triple9 triple8) -> rule2))] Harry is nice.[(triple11)] Harry is red.[(triple12)]