Bob is round. Fiona is not big. Fiona is not blue. Fiona is not smart. Fiona is young. Gary is blue. Gary is quiet. If someone is blue and not quiet then they are not smart. All blue, round people are smart. If Gary is furry and Gary is quiet then Gary is round. If someone is blue and young then they are not furry. If someone is big then they are furry. Furry, young people are not round. If someone is quiet then they are big. All big people are not young.
Bob is not big.
@0: Bob is round.[(triple1)] Fiona is not big.[(triple2)] Fiona is not blue.[(triple3)] Fiona is not smart.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is quiet.[(triple7)] @1: Gary is big.[(((triple7) -> rule7))] @2: Gary is furry.[(((((triple7) -> rule7)) -> rule5))] Gary is not young.[(((((triple7) -> rule7)) -> rule8))] @3: Gary is round.[(((((((triple7) -> rule7)) -> rule5) triple7) -> rule3))] @4: Gary is smart.[(((triple6 ((((((triple7) -> rule7)) -> rule5) triple7) -> rule3)) -> rule2))]