Charlie is not blue. Charlie is not furry. Charlie is nice. Charlie is smart. Charlie is white. Fiona is furry. Fiona is quiet. Fiona is white. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is smart. Gary is white. If someone is blue and not furry then they are not kind. If Fiona is nice and Fiona is not blue then Fiona is kind. All furry, blue people are nice. If Charlie is kind then Charlie is not nice. Blue, quiet people are smart. All kind people are smart. White people are smart. If someone is smart and not kind then they are white.
Fiona is blue.
@0: Charlie is nice.[(triple3)] Charlie is not blue.[(triple1)] Charlie is not furry.[(triple2)] Charlie is smart.[(triple4 OR ((triple5) -> rule7))] Charlie is white.[(triple5)] Fiona is furry.[(triple6)] Fiona is quiet.[(triple7)] Fiona is white.[(triple8)] Gary is blue.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12 OR ((triple10 triple9) -> rule3))] Gary is quiet.[(triple13)] Gary is smart.[(triple14 OR ((triple11) -> rule6) OR ((triple15) -> rule7) OR ((triple9 triple13) -> rule5))] Gary is white.[(triple15)] @1: Fiona is smart.[(((triple8) -> rule7))]