Dave is big. Dave is round. Erin is cold. Erin is kind. Erin is young. Fiona is white. Gary is round. Round, kind people are white. Round people are big. If Erin is white then Erin is young. If Gary is cold then Gary is kind. If someone is white and round then they are cold. If someone is white then they are young. If Dave is big and Dave is young then Dave is cold. If someone is cold and round then they are rough.
Erin is not rough.
@0: Dave is big.[(triple1 OR ((triple2) -> rule2))] Dave is round.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is young.[(triple5)] Fiona is white.[(triple6)] Gary is round.[(triple7)] @1: Fiona is young.[(((triple6) -> rule6))] Gary is big.[(((triple7) -> rule2))]