Bob is big. Bob is furry. Erin is not big. Erin is blue. Erin is furry. Erin is not quiet. Erin is young. Fiona is big. Fiona is not blue. Fiona is not furry. Fiona is kind. Fiona is young. If Fiona is kind then Fiona is big. If Fiona is not round and Fiona is not kind then Fiona is young. If someone is quiet then they are blue. All furry, big people are blue. If someone is quiet and not round then they are not young. If someone is big and not blue then they are young.
Erin is quiet.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Erin is blue.[(triple4)] Erin is furry.[(triple5)] Erin is not big.[(triple3)] Erin is not quiet.[(triple6)] Erin is young.[(triple7)] Fiona is big.[(triple8 OR ((triple11) -> rule1))] Fiona is kind.[(triple11)] Fiona is not blue.[(triple9)] Fiona is not furry.[(triple10)] Fiona is young.[(triple12 OR ((triple8 triple9) -> rule6) OR ((((triple11) -> rule1) triple9) -> rule6))] @1: Bob is blue.[(((triple2 triple1) -> rule4))]