Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is young. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is young. Rough, nice people are red. All furry, rough people are nice. Furry, nice people are kind. All rough people are kind. If Harry is furry and Harry is nice then Harry is young. If someone is red then they are young.
Charlie is not nice.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3 OR ((triple4 ((triple2 triple4) -> rule2)) -> rule1))] Charlie is rough.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7 OR ((triple9) -> rule4) OR ((triple6 triple8) -> rule3) OR ((triple6 ((triple6 triple9) -> rule2)) -> rule3))] Fiona is nice.[(triple8 OR ((triple6 triple9) -> rule2))] Fiona is rough.[(triple9)] Fiona is young.[(triple10 OR ((((triple9 triple8) -> rule1)) -> rule6) OR ((((triple9 ((triple6 triple9) -> rule2)) -> rule1)) -> rule6))] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13 OR ((triple12 triple14) -> rule3))] Harry is nice.[(triple14)] Harry is red.[(triple15)] Harry is young.[(triple16 OR ((triple15) -> rule6) OR ((triple12 triple14) -> rule5))] @1: Charlie is kind.[(((triple4) -> rule4) OR ((triple2 ((triple2 triple4) -> rule2)) -> rule3))] Charlie is nice.[(((triple2 triple4) -> rule2))] Charlie is young.[(((triple3) -> rule6) OR ((((triple4 ((triple2 triple4) -> rule2)) -> rule1)) -> rule6))] Fiona is red.[(((triple9 triple8) -> rule1) OR ((triple9 ((triple6 triple9) -> rule2)) -> rule1))]