Fiona is blue. Fiona is red. Fiona is smart. Fiona is young. Gary is blue. Gary is furry. Gary is quiet. Gary is red. Gary is round. Gary is smart. If someone is blue then they are round. If someone is smart and blue then they are round.
Fiona is blue.
@0: Fiona is blue.[(triple1)] Fiona is red.[(triple2)] Fiona is smart.[(triple3)] Fiona is young.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9 OR ((triple5) -> rule1) OR ((triple10 triple5) -> rule2))] Gary is smart.[(triple10)] @1: Fiona is round.[(((triple1) -> rule1) OR ((triple3 triple1) -> rule2))]