Bob is big. Bob is rough. Bob is not smart. Bob is young. Dave is rough. Dave is young. Erin is furry. If Dave is young and Dave is big then Dave is smart. If Bob is rough and Bob is furry then Bob is nice. If someone is furry and big then they are rough. If someone is furry then they are nice. If Dave is furry and Dave is not young then Dave is not nice. All nice people are big.
Dave is not smart.
@0: Bob is big.[(triple1)] Bob is not smart.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple4)] Dave is rough.[(triple5)] Dave is young.[(triple6)] Erin is furry.[(triple7)] @1: Erin is nice.[(((triple7) -> rule4))] @2: Erin is big.[(((((triple7) -> rule4)) -> rule6))] @3: Erin is rough.[(((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule3))]