Dave is big. Dave is green. Dave is nice. Gary is big. Gary is blue. Gary is cold. Gary is green. If Dave is green and Dave is blue then Dave is cold. If someone is cold then they are blue. If someone is cold then they are big. Blue, quiet people are not nice. If someone is quiet and big then they are nice. Big, quiet people are not cold. If someone is nice then they are cold. All quiet, big people are not furry.
Dave is quiet.
@0: Dave is big.[(triple1 OR ((((triple3) -> rule7)) -> rule3))] Dave is green.[(triple2)] Dave is nice.[(triple3)] Gary is big.[(triple4 OR ((triple6) -> rule3))] Gary is blue.[(triple5 OR ((triple6) -> rule2))] Gary is cold.[(triple6)] Gary is green.[(triple7)] @1: Dave is cold.[(((triple3) -> rule7))] @2: Dave is blue.[(((((triple3) -> rule7)) -> rule2))]