Bob is green. Charlie is green. Charlie is not nice. Charlie is quiet. Charlie is red. Fiona is green. Fiona is nice. Fiona is red. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is not nice. Gary is not quiet. Gary is red. If Fiona is green then Fiona is furry. If something is nice and not cold then it is quiet. Cold, furry things are red.
Bob is red.
@0: Bob is green.[(triple1)] Charlie is green.[(triple2)] Charlie is not nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is not nice.[(triple13)] Gary is not quiet.[(triple14)] Gary is red.[(triple15 OR ((triple10 triple11) -> rule3))] @1: Fiona is furry.[(((triple6) -> rule1))]