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