Bob is blue. Bob is cold. Bob is nice. Bob is white. Charlie is blue. Charlie is not cold. Charlie is kind. Charlie is white. Erin is blue. Erin is not cold. Erin is not kind. Erin is round. Erin is white. Fiona is cold. Fiona is nice. Fiona is white. If someone is white and not kind then they are not nice. All cold, nice people are blue.
Bob is round.
@0: Bob is blue.[(triple1 OR ((triple2 triple3) -> rule2))] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is white.[(triple4)] Charlie is blue.[(triple5)] Charlie is kind.[(triple7)] Charlie is not cold.[(triple6)] Charlie is white.[(triple8)] Erin is blue.[(triple9)] Erin is not cold.[(triple10)] Erin is not kind.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple13)] Fiona is cold.[(triple14)] Fiona is nice.[(triple15)] Fiona is white.[(triple16)] @1: Erin is not nice.[(((triple13 triple11) -> rule1))] Fiona is blue.[(((triple14 triple15) -> rule2))]