Bob is big. Dave is young. Erin is rough. If Bob is cold and Bob is blue then Bob is rough. All kind, blue people are rough. If Erin is rough and Erin is cold then Erin is furry. If someone is young and rough then they are big. If someone is rough then they are young. If Erin is big and Erin is young then Erin is cold.
Erin is big.
@0: Bob is big.[(triple1)] Dave is young.[(triple2)] Erin is rough.[(triple3)] @1: Erin is young.[(((triple3) -> rule5))] @2: Erin is big.[(((((triple3) -> rule5) triple3) -> rule4))] @3: Erin is cold.[(((((((triple3) -> rule5) triple3) -> rule4) ((triple3) -> rule5)) -> rule6))] @4: Erin is furry.[(((triple3 ((((((triple3) -> rule5) triple3) -> rule4) ((triple3) -> rule5)) -> rule6)) -> rule3))]