Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is white. Erin is blue. Erin is cold. Erin is green. Erin is red. Erin is smart. Erin is white. Fiona is blue. Fiona is red. Fiona is smart. If Fiona is red and Fiona is cold then Fiona is blue. If something is green then it is furry. All blue things are cold.
Bob is red.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule3))] Bob is furry.[(triple3 OR ((triple4) -> rule2))] Bob is green.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8 OR ((triple7) -> rule3))] Erin is green.[(triple9)] Erin is red.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12)] Fiona is blue.[(triple13)] Fiona is red.[(triple14)] Fiona is smart.[(triple15)] @1: Erin is furry.[(((triple9) -> rule2))] Fiona is cold.[(((triple13) -> rule3))]