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