Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is young. Harry is not big. Harry is cold. Harry is furry. Harry is kind. Harry is not quiet. Harry is red. Harry is young. All young, quiet people are cold. If someone is red then they are cold. If someone is quiet and not young then they are not cold. If someone is cold and not furry then they are quiet. Big, young people are kind. If someone is quiet and not red then they are kind.
Harry is red.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple6) -> rule2) OR ((triple7 triple5) -> rule1))] Charlie is furry.[(triple3)] Charlie is kind.[(triple4 OR ((triple1 triple7) -> rule5))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is young.[(triple7)] Harry is cold.[(triple9 OR ((triple13) -> rule2))] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is not big.[(triple8)] Harry is not quiet.[(triple12)] Harry is red.[(triple13)] Harry is young.[(triple14)]