Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is smart. Erin is kind. Erin is nice. Erin is round. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is round. Gary is smart. All nice things are quiet. If Gary is kind and Gary is cold then Gary is nice. Cold things are round.
Dave is not round.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((triple3) -> rule1))] Dave is smart.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is round.[(triple8)] Gary is cold.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12 OR ((triple11 triple9) -> rule2))] Gary is quiet.[(triple13 OR ((triple12) -> rule1) OR ((((triple11 triple9) -> rule2)) -> rule1))] Gary is round.[(triple14 OR ((triple9) -> rule3))] Gary is smart.[(triple15)] @1: Erin is quiet.[(((triple7) -> rule1))]