Anne is big. Anne is kind. Dave is big. Dave is kind. Dave is red. Dave is not rough. Dave is young. Erin is red. Fiona is big. Fiona is rough. Fiona is round. Fiona is smart. If Erin is not round then Erin is red. If Dave is big then Dave is round.
Anne is rough.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Dave is big.[(triple3)] Dave is kind.[(triple4)] Dave is not rough.[(triple6)] Dave is red.[(triple5)] Dave is young.[(triple7)] Erin is red.[(triple8)] Fiona is big.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] @1: Dave is round.[(((triple3) -> rule2))]