Fiona is green. Fiona is red. Gary is red. All red things are round. All green things are round. Green things are furry. If Fiona is red then Fiona is young. If something is smart then it is round. All red things are green. Green, red things are quiet. All quiet things are young.
Gary is not young.
@0: Fiona is green.[(triple1 OR ((triple2) -> rule6))] Fiona is red.[(triple2)] Gary is red.[(triple3)] @1: Fiona is furry.[(((triple1) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] Fiona is quiet.[(((triple1 triple2) -> rule7) OR ((((triple2) -> rule6) triple2) -> rule7))] Fiona is round.[(((triple1) -> rule2) OR ((triple2) -> rule1) OR ((((triple2) -> rule6)) -> rule2))] Fiona is young.[(((triple2) -> rule4) OR ((((triple1 triple2) -> rule7)) -> rule8) OR ((((((triple2) -> rule6) triple2) -> rule7)) -> rule8))] Gary is green.[(((triple3) -> rule6))] Gary is round.[(((triple3) -> rule1) OR ((((triple3) -> rule6)) -> rule2))] @2: Gary is furry.[(((((triple3) -> rule6)) -> rule3))] Gary is quiet.[(((((triple3) -> rule6) triple3) -> rule7))] @3: Gary is young.[(((((((triple3) -> rule6) triple3) -> rule7)) -> rule8))]