Dave is cold. Dave is green. Dave is rough. If Dave is not cold then Dave is round. All rough, cold people are green. If Dave is cold then Dave is not nice. If someone is cold then they are rough. If someone is rough and not nice then they are round. If someone is round and not cold then they are not big. All green, round people are kind. If someone is green and not big then they are kind.
Dave is round.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2 OR ((triple3 triple1) -> rule2) OR ((((triple1) -> rule4) triple1) -> rule2))] Dave is rough.[(triple3 OR ((triple1) -> rule4))] @1: Dave is not nice.[(((triple1) -> rule3))] @2: Dave is round.[(((triple3 ((triple1) -> rule3)) -> rule5) OR ((((triple1) -> rule4) ((triple1) -> rule3)) -> rule5))] @3: Dave is kind.[(((triple2 ((triple3 ((triple1) -> rule3)) -> rule5)) -> rule7) OR ((triple2 ((((triple1) -> rule4) ((triple1) -> rule3)) -> rule5)) -> rule7) OR ((((triple3 triple1) -> rule2) ((triple3 ((triple1) -> rule3)) -> rule5)) -> rule7) OR ((((triple3 triple1) -> rule2) ((((triple1) -> rule4) ((triple1) -> rule3)) -> rule5)) -> rule7) OR ((((((triple1) -> rule4) triple1) -> rule2) ((triple3 ((triple1) -> rule3)) -> rule5)) -> rule7) OR ((((((triple1) -> rule4) triple1) -> rule2) ((((triple1) -> rule4) ((triple1) -> rule3)) -> rule5)) -> rule7))]