Anne is not young. Bob is kind. Bob is not nice. Bob is red. Dave is kind. Dave is nice. Dave is not smart. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Erin is young. If someone is young and not quiet then they are kind. Big people are red. All smart people are big.
Dave is not big.
@0: Anne is not young.[(triple1)] Bob is kind.[(triple2)] Bob is not nice.[(triple3)] Bob is red.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is not smart.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)] @1: Erin is big.[(((triple11) -> rule3))] @2: Erin is red.[(((((triple11) -> rule3)) -> rule2))]