Bob is big. Bob is red. Bob is round. Bob is smart. Bob is white. Fiona is big. Fiona is blue. Fiona is red. Fiona is white. Gary is round. If Bob is rough then Bob is big. If someone is blue then they are red. If someone is white and blue then they are round.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is red.[(triple8 OR ((triple7) -> rule2))] Fiona is white.[(triple9)] Gary is round.[(triple10)] @1: Fiona is round.[(((triple9 triple7) -> rule3))]