Bob is nice. Bob is red. Bob is rough. Bob is young. Erin is young. Harry is big. Harry is young. If Erin is nice then Erin is quiet. If someone is young then they are nice.
Harry is smart.
@0: Bob is nice.[(triple1 OR ((triple4) -> rule2))] Bob is red.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Erin is young.[(triple5)] Harry is big.[(triple6)] Harry is young.[(triple7)] @1: Erin is nice.[(((triple5) -> rule2))] Harry is nice.[(((triple7) -> rule2))] @2: Erin is quiet.[(((((triple5) -> rule2)) -> rule1))]