Bob is kind. Bob is quiet. Bob is round. If Bob is cold and Bob is quiet then Bob is kind. If something is round then it is kind. If Bob is cold then Bob is rough. Round, kind things are quiet. Furry things are cold. If something is green and cold then it is kind.
Bob is not cold.
@0: Bob is kind.[(triple1 OR ((triple3) -> rule2))] Bob is quiet.[(triple2 OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple3) -> rule2)) -> rule4))] Bob is round.[(triple3)]