Bob is cold. Bob is kind. Charlie is young. Fiona is cold. Fiona is green. Fiona is kind. Harry is big. Harry is kind. Harry is quiet. Harry is rough. If something is young then it is green. All big, kind things are quiet. If Charlie is quiet and Charlie is green then Charlie is rough. Green things are quiet. Rough, big things are cold. If Charlie is quiet then Charlie is rough.
Charlie is green.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Charlie is young.[(triple3)] Fiona is cold.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Harry is big.[(triple7)] Harry is kind.[(triple8)] Harry is quiet.[(triple9 OR ((triple7 triple8) -> rule2))] Harry is rough.[(triple10)] @1: Charlie is green.[(((triple3) -> rule1))] Fiona is quiet.[(((triple5) -> rule4))] Harry is cold.[(((triple10 triple7) -> rule5))] @2: Charlie is quiet.[(((((triple3) -> rule1)) -> rule4))] @3: Charlie is rough.[(((((((triple3) -> rule1)) -> rule4)) -> rule6) OR ((((((triple3) -> rule1)) -> rule4) ((triple3) -> rule1)) -> rule3))]