Bob is blue. Charlie is not furry. Erin is big. Erin is rough. Fiona is not big. Fiona is not blue. Fiona is young. Young people are rough. All white people are round. If someone is young and not rough then they are not big. If someone is blue and not rough then they are big. If Erin is big then Erin is blue. Blue people are not furry.
Bob is not rough.
@0: Bob is blue.[(triple1)] Charlie is not furry.[(triple2)] Erin is big.[(triple3)] Erin is rough.[(triple4)] Fiona is not big.[(triple5)] Fiona is not blue.[(triple6)] Fiona is young.[(triple7)] @1: Bob is not furry.[(((triple1) -> rule6))] Erin is blue.[(((triple3) -> rule5))] Fiona is rough.[(((triple7) -> rule1))] @2: Erin is not furry.[(((((triple3) -> rule5)) -> rule6))]