Bob is rough. Dave is not smart. Erin is big. Gary is smart. If something is big then it is rough. If Erin is big then Erin is blue. If Dave is nice then Dave is not smart. If Bob is smart then Bob is blue. Blue things are kind. If Gary is big and Gary is nice then Gary is smart.
Gary is not rough.
@0: Bob is rough.[(triple1)] Dave is not smart.[(triple2)] Erin is big.[(triple3)] Gary is smart.[(triple4)] @1: Erin is blue.[(((triple3) -> rule2))] Erin is rough.[(((triple3) -> rule1))] @2: Erin is kind.[(((((triple3) -> rule2)) -> rule5))]