Fiona is young. Gary is furry. Gary is quiet. All big people are rough. If someone is young and furry then they are blue. All big people are rough. Furry, quiet people are young. If someone is furry and quiet then they are big. All blue people are nice. Young people are quiet. If someone is furry and rough then they are quiet.
Fiona is blue.
@0: Fiona is young.[(triple1)] Gary is furry.[(triple2)] Gary is quiet.[(triple3)] @1: Fiona is quiet.[(((triple1) -> rule7))] Gary is big.[(((triple2 triple3) -> rule5))] Gary is young.[(((triple2 triple3) -> rule4))] @2: Gary is blue.[(((((triple2 triple3) -> rule4) triple2) -> rule2))] Gary is rough.[(((((triple2 triple3) -> rule5)) -> rule1) OR ((((triple2 triple3) -> rule5)) -> rule3))] @3: Gary is nice.[(((((((triple2 triple3) -> rule4) triple2) -> rule2)) -> rule6))]