Bob is blue. Bob is cold. Bob is green. Bob is quiet. Bob is red. Bob is rough. Fiona is blue. Fiona is quiet. Gary is quiet. Gary is red. Cold people are blue. All rough people are blue. Red, rough people are blue. All cold, furry people are not red. If Gary is furry then Gary is rough. If Gary is cold and Gary is not furry then Gary is green. Cold people are rough. If someone is blue and not red then they are quiet.
Gary is not rough.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule1) OR ((triple6) -> rule2) OR ((triple5 triple6) -> rule3) OR ((((triple2) -> rule7)) -> rule2) OR ((triple5 ((triple2) -> rule7)) -> rule3))] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6 OR ((triple2) -> rule7))] Fiona is blue.[(triple7)] Fiona is quiet.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)]