Anne is green. Anne is round. Anne is young. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is young. If Charlie is young then Charlie is quiet. If something is kind and round then it is rough. All big, kind things are quiet. If something is kind and round then it is big. If something is big then it is quiet. If something is big then it is green. Rough things are kind. If Charlie is green and Charlie is kind then Charlie is young.
Charlie is not round.
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Charlie is quiet.[(triple4 OR ((triple7) -> rule1) OR ((((((triple5) -> rule7) triple6) -> rule4)) -> rule5) OR ((((((triple5) -> rule7) triple6) -> rule4) ((triple5) -> rule7)) -> rule3) OR ((((((((((triple5) -> rule7) triple6) -> rule4)) -> rule6) ((triple5) -> rule7)) -> rule8)) -> rule1))] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7 OR ((((((((triple5) -> rule7) triple6) -> rule4)) -> rule6) ((triple5) -> rule7)) -> rule8))] @1: Charlie is kind.[(((triple5) -> rule7))] @2: Charlie is big.[(((((triple5) -> rule7) triple6) -> rule4))] @3: Charlie is green.[(((((((triple5) -> rule7) triple6) -> rule4)) -> rule6))]