Dave is kind. Dave is quiet. Dave is round. Erin is blue. Erin is quiet. Erin is rough. Erin is round. Erin is young. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is rough. Gary is round. Gary is young. If Dave is quiet then Dave is young. Young things are kind.
Dave is round.
@0: Dave is kind.[(triple1 OR ((((triple2) -> rule1)) -> rule2))] Dave is quiet.[(triple2)] Dave is round.[(triple3)] Erin is blue.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)] Erin is young.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is kind.[(triple11 OR ((triple15) -> rule2))] Gary is quiet.[(triple12)] Gary is rough.[(triple13)] Gary is round.[(triple14)] Gary is young.[(triple15)] @1: Dave is young.[(((triple2) -> rule1))] Erin is kind.[(((triple8) -> rule2))]