Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is round. If something is round and cold then it is furry. If Bob is quiet then Bob is cold.
Bob is not round.
@0: Bob is cold.[(triple1 OR ((triple5) -> rule2))] Bob is furry.[(triple2 OR ((triple7 triple1) -> rule1) OR ((triple7 ((triple5) -> rule2)) -> rule1))] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7)]