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