Bob is smart. Dave is rough. Gary is smart. If someone is furry and kind then they are smart. All kind, green people are white. If Gary is kind then Gary is furry. All big, smart people are green. White, smart people are rough. All smart people are big.
Dave is furry.
@0: Bob is smart.[(triple1)] Dave is rough.[(triple2)] Gary is smart.[(triple3)] @1: Bob is big.[(((triple1) -> rule6))] Gary is big.[(((triple3) -> rule6))] @2: Bob is green.[(((((triple1) -> rule6) triple1) -> rule4))] Gary is green.[(((((triple3) -> rule6) triple3) -> rule4))]