Dave is furry. Erin is kind. Fiona is not nice. If Fiona is blue then Fiona is young. All young people are big. If someone is blue and furry then they are big. Furry people are young. Young people are furry. Kind people are furry. If someone is young and not big then they are not rough. If someone is rough and not kind then they are not nice.
Erin is big.
@0: Dave is furry.[(triple1)] Erin is kind.[(triple2)] Fiona is not nice.[(triple3)] @1: Dave is young.[(((triple1) -> rule4))] Erin is furry.[(((triple2) -> rule6))] @2: Dave is big.[(((((triple1) -> rule4)) -> rule2))] Erin is young.[(((((triple2) -> rule6)) -> rule4))] @3: Erin is big.[(((((((triple2) -> rule6)) -> rule4)) -> rule2))]