Bob is not green. Bob is red. Bob is not smart. Charlie is not rough. Dave is smart. Erin is big. Erin is not quiet. If someone is big and not red then they are smart. Cold, quiet people are not green. If someone is big and quiet then they are green. If Erin is green and Erin is rough then Erin is quiet. If someone is cold and big then they are not quiet. If someone is big then they are rough. If someone is rough then they are not cold. Red people are big.
Dave is rough.
@0: Bob is not green.[(triple1)] Bob is not smart.[(triple3)] Bob is red.[(triple2)] Charlie is not rough.[(triple4)] Dave is smart.[(triple5)] Erin is big.[(triple6)] Erin is not quiet.[(triple7)] @1: Bob is big.[(((triple2) -> rule8))] Erin is rough.[(((triple6) -> rule6))] @2: Bob is rough.[(((((triple2) -> rule8)) -> rule6))] Erin is not cold.[(((((triple6) -> rule6)) -> rule7))] @3: Bob is not cold.[(((((((triple2) -> rule8)) -> rule6)) -> rule7))]