Bob is not big. Bob is cold. Bob is green. Bob is round. Erin is big. Erin is cold. Erin is red. Erin is rough. Erin is round. Fiona is cold. Fiona is green. Fiona is white. Gary is big. Gary is cold. Gary is round. Big, white things are not rough. If something is big and not red then it is white. If something is green and not cold then it is white. White things are big. If something is cold then it is round. Rough, red things are green.
Bob is rough.
@0: Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is not big.[(triple1)] Bob is round.[(triple4 OR ((triple2) -> rule5))] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9 OR ((triple6) -> rule5))] Fiona is cold.[(triple10)] Fiona is green.[(triple11)] Fiona is white.[(triple12)] Gary is big.[(triple13)] Gary is cold.[(triple14)] Gary is round.[(triple15 OR ((triple14) -> rule5))] @1: Erin is green.[(((triple8 triple7) -> rule6))] Fiona is big.[(((triple12) -> rule4))] Fiona is round.[(((triple10) -> rule5))] @2: Fiona is not rough.[(((((triple12) -> rule4) triple12) -> rule1))]