Bob is cold. Bob is furry. Bob is not kind. Bob is red. Bob is not rough. Bob is round. Bob is young. Harry is cold. Harry is furry. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is not young. Furry, rough people are not young. If someone is kind and not rough then they are not cold. If Bob is not round then Bob is not red. If Harry is round and Harry is rough then Harry is furry. If Harry is young then Harry is not furry. Cold people are furry.
Harry is rough.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule6))] Bob is not kind.[(triple3)] Bob is not rough.[(triple5)] Bob is red.[(triple4)] Bob is round.[(triple6)] Bob is young.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((triple8) -> rule6) OR ((triple13 triple12) -> rule4))] Harry is kind.[(triple10)] Harry is not young.[(triple14 OR ((triple9 triple12) -> rule1) OR ((((triple8) -> rule6) triple12) -> rule1) OR ((((triple13 triple12) -> rule4) triple12) -> rule1))] Harry is red.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13)]