Bob is not big. Bob is cold. Bob is furry. Bob is young. Dave is big. Dave is not cold. Dave is nice. Gary is big. Gary is young. Harry is cold. All cold people are kind. If someone is round then they are big. All kind people are young. If Gary is kind and Gary is not round then Gary is young. If someone is young and not kind then they are nice. All round people are not furry. If someone is cold and not young then they are furry. If Gary is furry then Gary is big.
Dave is nice.
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is not big.[(triple1)] Bob is young.[(triple4 OR ((((triple2) -> rule1)) -> rule3))] Dave is big.[(triple5)] Dave is nice.[(triple7)] Dave is not cold.[(triple6)] Gary is big.[(triple8)] Gary is young.[(triple9)] Harry is cold.[(triple10)] @1: Bob is kind.[(((triple2) -> rule1))] Harry is kind.[(((triple10) -> rule1))] @2: Harry is young.[(((((triple10) -> rule1)) -> rule3))]