Charlie is big. Charlie is blue. Charlie is not cold. Charlie is green. Charlie is quiet. Fiona is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is not white. Gary is blue. Gary is cold. Gary is not furry. Gary is green. Gary is quiet. If Charlie is green then Charlie is blue. If someone is big then they are green. Big people are green. If someone is green then they are quiet. If Gary is furry then Gary is not cold. If someone is big and quiet then they are not cold. If someone is quiet and not green then they are not cold. All cold people are white.
Gary is furry.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] Charlie is green.[(triple4 OR ((triple1) -> rule2) OR ((triple1) -> rule3))] Charlie is not cold.[(triple3 OR ((triple1 triple5) -> rule6) OR ((triple1 ((triple4) -> rule4)) -> rule6) OR ((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule6) OR ((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule6))] Charlie is quiet.[(triple5 OR ((triple4) -> rule4) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule3)) -> rule4))] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8 OR ((triple6) -> rule2) OR ((triple6) -> rule3))] Fiona is not white.[(triple10)] Fiona is quiet.[(triple9 OR ((triple8) -> rule4) OR ((((triple6) -> rule2)) -> rule4) OR ((((triple6) -> rule3)) -> rule4))] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple14)] Gary is not furry.[(triple13)] Gary is quiet.[(triple15 OR ((triple14) -> rule4))] @1: Fiona is not cold.[(((triple6 triple9) -> rule6) OR ((triple6 ((triple8) -> rule4)) -> rule6) OR ((triple6 ((((triple6) -> rule2)) -> rule4)) -> rule6) OR ((triple6 ((((triple6) -> rule3)) -> rule4)) -> rule6))] Gary is white.[(((triple12) -> rule8))]