Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is round. Charlie is smart. Charlie is white. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is round. Fiona is smart. Fiona is white. Harry is round. If Charlie is furry and Charlie is kind then Charlie is green. All kind, green things are furry. If something is furry and cold then it is round.
Charlie is not smart.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple4 triple3) -> rule2))] Charlie is green.[(triple3 OR ((triple2 triple4) -> rule1))] Charlie is kind.[(triple4)] Charlie is round.[(triple5 OR ((triple2 triple1) -> rule3) OR ((((triple4 triple3) -> rule2) triple1) -> rule3))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9 OR ((triple11 triple10) -> rule2))] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is round.[(triple12 OR ((triple9 triple8) -> rule3) OR ((((triple11 triple10) -> rule2) triple8) -> rule3))] Fiona is smart.[(triple13)] Fiona is white.[(triple14)] Harry is round.[(triple15)]