Bob is cold. Bob is green. Bob is rough. Bob is round. Bob is white. Erin is not big. Erin is cold. Erin is green. Erin is round. Erin is white. Fiona is green. Fiona is kind. Fiona is not rough. Gary is big. Gary is cold. Gary is round. White, rough things are big. If Erin is kind and Erin is big then Erin is round.
Fiona is not big.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is not big.[(triple6)] Erin is round.[(triple9)] Erin is white.[(triple10)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is not rough.[(triple13)] Gary is big.[(triple14)] Gary is cold.[(triple15)] Gary is round.[(triple16)] @1: Bob is big.[(((triple5 triple3) -> rule1))]