Bob is big. Bob is blue. Bob is cold. Bob is quiet. Bob is rough. Bob is round. Bob is white. Erin is big. Erin is quiet. Erin is rough. Erin is round. Erin is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is rough. If something is rough then it is quiet. If Bob is rough and Bob is round then Bob is quiet. If Bob is quiet and Bob is cold then Bob is rough.
Fiona is round.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is quiet.[(triple4 OR ((triple5) -> rule1) OR ((triple5 triple6) -> rule2))] Bob is rough.[(triple5 OR ((triple4 triple3) -> rule3))] Bob is round.[(triple6)] Bob is white.[(triple7)] Erin is big.[(triple8)] Erin is quiet.[(triple9 OR ((triple10) -> rule1))] Erin is rough.[(triple10)] Erin is round.[(triple11)] Erin is white.[(triple12)] Fiona is big.[(triple13)] Fiona is blue.[(triple14)] Fiona is cold.[(triple15)] Fiona is rough.[(triple16)] @1: Fiona is quiet.[(((triple16) -> rule1))]