Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. Gary is big. Gary is furry. Gary is nice. Gary is quiet. Gary is smart. Gary is white. Gary is young. All smart people are white. If someone is quiet then they are furry. If someone is nice then they are young.
Gary is not white.
@0: Fiona is furry.[(triple1 OR ((triple3) -> rule2))] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3)] Fiona is smart.[(triple4)] Fiona is white.[(triple5 OR ((triple4) -> rule1))] Gary is big.[(triple6)] Gary is furry.[(triple7 OR ((triple9) -> rule2))] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is smart.[(triple10)] Gary is white.[(triple11 OR ((triple10) -> rule1))] Gary is young.[(triple12 OR ((triple8) -> rule3))] @1: Fiona is young.[(((triple2) -> rule3))]