Anne is nice. Dave is big. Erin is blue. Gary is nice. All red people are blue. If someone is blue then they are red. All blue, nice people are furry. Red, blue people are rough. If someone is red and not blue then they are not big. If someone is rough then they are big.
Anne is not blue.
@0: Anne is nice.[(triple1)] Dave is big.[(triple2)] Erin is blue.[(triple3)] Gary is nice.[(triple4)] @1: Erin is red.[(((triple3) -> rule2))] @2: Erin is rough.[(((((triple3) -> rule2) triple3) -> rule4))] @3: Erin is big.[(((((((triple3) -> rule2) triple3) -> rule4)) -> rule6))]