Bob is big. Bob is furry. Charlie is furry. Erin is big. Erin is not quiet. Fiona is round. Fiona is young. If something is big and not quiet then it is not furry. All big, kind things are furry. If Bob is young and Bob is kind then Bob is big. Kind, young things are green. If Erin is young and Erin is not big then Erin is kind. If Charlie is kind then Charlie is not round. All furry things are round. If Bob is furry and Bob is not quiet then Bob is not young.
Erin is not round.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Charlie is furry.[(triple3)] Erin is big.[(triple4)] Erin is not quiet.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] @1: Bob is round.[(((triple2) -> rule7))] Charlie is round.[(((triple3) -> rule7))] Erin is not furry.[(((triple4 triple5) -> rule1))]