Dave is big. Dave is blue. Dave is red. Dave is rough. Dave is round. Dave is smart. Erin is round. Fiona is quiet. Gary is red. Gary is rough. Gary is round. Gary is smart. If someone is blue then they are smart.
Fiona is big.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6 OR ((triple2) -> rule1))] Erin is round.[(triple7)] Fiona is quiet.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11)] Gary is smart.[(triple12)]