Bob is big. Dave is young. Erin is young. Harry is big. If Bob is green then Bob is nice. If something is big then it is young. If something is nice and not young then it is red. All smart things are red. If Erin is red and Erin is young then Erin is nice. If Erin is not smart and Erin is not green then Erin is not nice. All red things are nice. If Bob is kind and Bob is not young then Bob is red.
Dave is not red.
@0: Bob is big.[(triple1)] Dave is young.[(triple2)] Erin is young.[(triple3)] Harry is big.[(triple4)] @1: Bob is young.[(((triple1) -> rule2))] Harry is young.[(((triple4) -> rule2))]