Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is young. If someone is young then they are round. Round people are rough. If Charlie is cold then Charlie is nice. If someone is rough and young then they are furry. All rough, nice people are cold. All green people are furry.
Charlie is nice.
@0: Charlie is cold.[(triple1 OR ((triple5 triple4) -> rule5) OR ((((triple6) -> rule2) triple4) -> rule5) OR ((((((triple7) -> rule1)) -> rule2) triple4) -> rule5))] Charlie is furry.[(triple2 OR ((triple3) -> rule6) OR ((triple5 triple7) -> rule4) OR ((((triple6) -> rule2) triple7) -> rule4) OR ((((((triple7) -> rule1)) -> rule2) triple7) -> rule4))] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple1) -> rule3))] Charlie is rough.[(triple5 OR ((triple6) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Charlie is round.[(triple6 OR ((triple7) -> rule1))] Charlie is young.[(triple7)]