Bob is big. Fiona is kind. Gary is rough. If someone is rough then they are smart. All rough, smart people are furry. All rough, round people are young. If someone is smart and kind then they are furry. If Gary is young and Gary is rough then Gary is round. If someone is furry and rough then they are round. If someone is young and smart then they are big. If someone is young then they are big.
Fiona is round.
@0: Bob is big.[(triple1)] Fiona is kind.[(triple2)] Gary is rough.[(triple3)] @1: Gary is smart.[(((triple3) -> rule1))] @2: Gary is furry.[(((triple3 ((triple3) -> rule1)) -> rule2))] @3: Gary is round.[(((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule6))] @4: Gary is young.[(((triple3 ((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule6)) -> rule3))] @5: Gary is big.[(((((triple3 ((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule6)) -> rule3)) -> rule8) OR ((((triple3 ((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule6)) -> rule3) ((triple3) -> rule1)) -> rule7))]