Bob is big. Bob is blue. Dave is big. Dave is smart. Erin is big. Erin is blue. Erin is quiet. Erin is rough. Erin is round. Erin is young. Fiona is blue. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. If someone is smart and round then they are big. If someone is young and blue then they are rough.
Dave is not rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Dave is big.[(triple3)] Dave is smart.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is quiet.[(triple7)] Erin is rough.[(triple8 OR ((triple10 triple6) -> rule2))] Erin is round.[(triple9)] Erin is young.[(triple10)] Fiona is blue.[(triple11)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13)] Fiona is round.[(triple14)] Fiona is smart.[(triple15)] @1: Fiona is big.[(((triple15 triple14) -> rule1))]