Bob is smart. Charlie is big. Dave is not rough. Erin is not smart. If someone is red then they are big. If Bob is smart then Bob is red. Round people are not furry. If someone is rough and not red then they are furry. All furry people are blue. All round people are blue.
Charlie is red.
@0: Bob is smart.[(triple1)] Charlie is big.[(triple2)] Dave is not rough.[(triple3)] Erin is not smart.[(triple4)] @1: Bob is red.[(((triple1) -> rule2))] @2: Bob is big.[(((((triple1) -> rule2)) -> rule1))]