Charlie is round. Dave is cold. Fiona is round. If someone is rough then they are red. If someone is rough then they are red. If Charlie is round and Charlie is not smart then Charlie is young. If someone is cold then they are rough. Red, rough people are round. All cold people are nice.
Dave is nice.
@0: Charlie is round.[(triple1)] Dave is cold.[(triple2)] Fiona is round.[(triple3)] @1: Dave is nice.[(((triple2) -> rule6))] Dave is rough.[(((triple2) -> rule4))] @2: Dave is red.[(((((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule4)) -> rule2))] @3: Dave is round.[(((((((triple2) -> rule4)) -> rule1) ((triple2) -> rule4)) -> rule5) OR ((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule5))]