Charlie is cold. Charlie is furry. Charlie is red. Gary is red. Gary is rough. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Harry is young. Quiet, young people are furry. If someone is red and nice then they are cold. If someone is young and red then they are quiet. If someone is furry then they are red. Nice people are cold. If Charlie is quiet and Charlie is nice then Charlie is rough. If Harry is furry then Harry is young. Furry people are red.
Charlie is not nice.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3 OR ((triple2) -> rule4) OR ((triple2) -> rule8))] Gary is red.[(triple4)] Gary is rough.[(triple5)] Harry is cold.[(triple6)] Harry is furry.[(triple7 OR ((triple8 triple10) -> rule1))] Harry is quiet.[(triple8 OR ((triple10 ((triple7) -> rule4)) -> rule3) OR ((triple10 ((triple7) -> rule8)) -> rule3) OR ((((triple7) -> rule7) ((triple7) -> rule4)) -> rule3) OR ((((triple7) -> rule7) ((triple7) -> rule8)) -> rule3))] Harry is rough.[(triple9)] Harry is young.[(triple10 OR ((triple7) -> rule7))] @1: Harry is red.[(((triple7) -> rule4) OR ((triple7) -> rule8) OR ((((triple8 triple10) -> rule1)) -> rule4) OR ((((triple8 triple10) -> rule1)) -> rule8))]