Dave is big. Dave is nice. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is young. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is young. All nice things are smart. All smart things are nice. All round things are rough.
Dave is red.
@0: Dave is big.[(triple1)] Dave is nice.[(triple2 OR ((triple6) -> rule2))] Dave is red.[(triple3)] Dave is rough.[(triple4 OR ((triple5) -> rule3))] Dave is round.[(triple5)] Dave is smart.[(triple6 OR ((triple2) -> rule1))] Dave is young.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9 OR ((triple10) -> rule3))] Erin is round.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)] @1: Erin is nice.[(((triple11) -> rule2))]