Charlie is big. Fiona is rough. Gary is cold. Gary is kind. Gary is red. Harry is cold. Harry is quiet. Round, quiet things are kind. If something is quiet then it is rough. If something is big then it is rough. If something is kind and round then it is big. All kind things are round. Quiet things are round.
Gary is cold.
@0: Charlie is big.[(triple1)] Fiona is rough.[(triple2)] Gary is cold.[(triple3)] Gary is kind.[(triple4)] Gary is red.[(triple5)] Harry is cold.[(triple6)] Harry is quiet.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule3))] Gary is round.[(((triple4) -> rule5))] Harry is rough.[(((triple7) -> rule2) OR ((((((((triple7) -> rule6) triple7) -> rule1) ((triple7) -> rule6)) -> rule4)) -> rule3))] Harry is round.[(((triple7) -> rule6))] @2: Gary is big.[(((triple4 ((triple4) -> rule5)) -> rule4))] Harry is kind.[(((((triple7) -> rule6) triple7) -> rule1))] @3: Gary is rough.[(((((triple4 ((triple4) -> rule5)) -> rule4)) -> rule3))] Harry is big.[(((((((triple7) -> rule6) triple7) -> rule1) ((triple7) -> rule6)) -> rule4))]