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