Bob is smart. Dave is nice. Erin is big. Erin is nice. Erin is quiet. Erin is round. Fiona is rough. If something is round then it is white. If something is quiet and round then it is big. If Dave is smart and Dave is round then Dave is nice.
Fiona is not rough.
@0: Bob is smart.[(triple1)] Dave is nice.[(triple2)] Erin is big.[(triple3 OR ((triple5 triple6) -> rule2))] Erin is nice.[(triple4)] Erin is quiet.[(triple5)] Erin is round.[(triple6)] Fiona is rough.[(triple7)] @1: Erin is white.[(((triple6) -> rule1))]