Bob is furry. Bob is green. Bob is red. Bob is young. Charlie is green. Charlie is quiet. Charlie is white. Fiona is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is young. Gary is big. Gary is furry. Gary is young. If someone is green and furry then they are white. If someone is quiet then they are red. All white, young people are red.
Gary is not red.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3 OR ((((triple2 triple1) -> rule1) triple4) -> rule3))] Bob is young.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6)] Charlie is white.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12 OR ((triple11) -> rule2) OR ((((triple10 triple9) -> rule1) triple13) -> rule3))] Fiona is young.[(triple13)] Gary is big.[(triple14)] Gary is furry.[(triple15)] Gary is young.[(triple16)] @1: Bob is white.[(((triple2 triple1) -> rule1))] Charlie is red.[(((triple6) -> rule2))] Fiona is white.[(((triple10 triple9) -> rule1))]