Fiona is white. Gary is kind. Harry is kind. Red things are young. All rough, young things are quiet. If Gary is kind and Gary is red then Gary is young. If something is kind then it is rough. If something is red then it is young. All rough, kind things are young. Young, red things are rough. If Gary is kind then Gary is quiet.
Fiona is white.
@0: Fiona is white.[(triple1)] Gary is kind.[(triple2)] Harry is kind.[(triple3)] @1: Gary is quiet.[(((triple2) -> rule8) OR ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule6)) -> rule2))] Gary is rough.[(((triple2) -> rule4))] Harry is rough.[(((triple3) -> rule4))] @2: Gary is young.[(((((triple2) -> rule4) triple2) -> rule6))] Harry is young.[(((((triple3) -> rule4) triple3) -> rule6))] @3: Harry is quiet.[(((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule6)) -> rule2))]