Bob is cold. Bob is nice. Bob is red. Bob is rough. Bob is young. Dave is cold. Dave is kind. Dave is rough. Dave is young. Harry is young. If Dave is quiet and Dave is kind then Dave is young. Nice things are quiet. If Dave is rough then Dave is young. If something is rough and nice then it is red. If Bob is kind and Bob is rough then Bob is red. Cold things are quiet.
Harry is kind.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3 OR ((triple4 triple2) -> rule4))] Bob is rough.[(triple4)] Bob is young.[(triple5)] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Dave is rough.[(triple8)] Dave is young.[(triple9 OR ((triple8) -> rule3) OR ((((triple6) -> rule6) triple7) -> rule1))] Harry is young.[(triple10)] @1: Bob is quiet.[(((triple1) -> rule6) OR ((triple2) -> rule2))] Dave is quiet.[(((triple6) -> rule6))]