Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is rough. Bob is round. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. All round, rough things are furry. Green things are cold. All round things are cold.
Charlie is round.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple4) -> rule2) OR ((triple7) -> rule3))] Bob is furry.[(triple3 OR ((triple7 triple6) -> rule1))] Bob is green.[(triple4)] Bob is kind.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7)] Charlie is blue.[(triple8)] Charlie is cold.[(triple9 OR ((triple11) -> rule2) OR ((triple14) -> rule3))] Charlie is furry.[(triple10 OR ((triple14 triple13) -> rule1))] Charlie is green.[(triple11)] Charlie is kind.[(triple12)] Charlie is rough.[(triple13)] Charlie is round.[(triple14)]