Charlie is cold. Charlie is furry. Charlie is round. Charlie is white. Dave is white. Erin is furry. Erin is nice. Harry is cold. Harry is furry. Harry is round. All cold people are round. All round, furry people are green. If someone is furry and round then they are white. All round people are cold. If someone is nice and green then they are white. If someone is round and blue then they are green.
Harry is cold.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule4))] Charlie is furry.[(triple2)] Charlie is round.[(triple3 OR ((triple1) -> rule1))] Charlie is white.[(triple4 OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple1) -> rule1)) -> rule3))] Dave is white.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Harry is cold.[(triple8 OR ((triple10) -> rule4))] Harry is furry.[(triple9)] Harry is round.[(triple10 OR ((triple8) -> rule1))] @1: Charlie is green.[(((triple3 triple2) -> rule2) OR ((((triple1) -> rule1) triple2) -> rule2))] Harry is green.[(((triple10 triple9) -> rule2) OR ((((triple8) -> rule1) triple9) -> rule2))] Harry is white.[(((triple9 triple10) -> rule3) OR ((triple9 ((triple8) -> rule1)) -> rule3))]