Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is young. If something is furry and cold then it is rough. Rough, young things are cold. Cold things are red. Cold things are nice. All young, furry things are rough. All nice, young things are red.
Charlie is not nice.
@0: Charlie is cold.[(triple1 OR ((triple6 triple7) -> rule2) OR ((((triple7 triple2) -> rule5) triple7) -> rule2))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple1) -> rule4) OR ((((triple6 triple7) -> rule2)) -> rule4) OR ((((((triple7 triple2) -> rule5) triple7) -> rule2)) -> rule4))] Charlie is red.[(triple5 OR ((triple1) -> rule3) OR ((triple4 triple7) -> rule6) OR ((((triple6 triple7) -> rule2)) -> rule3) OR ((((triple1) -> rule4) triple7) -> rule6) OR ((((((triple7 triple2) -> rule5) triple7) -> rule2)) -> rule3) OR ((((((triple6 triple7) -> rule2)) -> rule4) triple7) -> rule6) OR ((((((((triple7 triple2) -> rule5) triple7) -> rule2)) -> rule4) triple7) -> rule6))] Charlie is rough.[(triple6 OR ((triple2 triple1) -> rule1) OR ((triple7 triple2) -> rule5))] Charlie is young.[(triple7)]