Anne is big. Anne is blue. Anne is kind. Anne is round. Charlie is green. Gary is kind. Harry is round. All blue things are rough. All white things are kind. If something is green and kind then it is round. If Anne is rough then Anne is big. All big things are blue. If something is green then it is blue. Blue things are big. If Anne is big and Anne is green then Anne is kind. Rough things are white.
Charlie is not round.
@0: Anne is big.[(triple1 OR ((triple2) -> rule7) OR ((((triple2) -> rule1)) -> rule4))] Anne is blue.[(triple2 OR ((triple1) -> rule5))] Anne is kind.[(triple3 OR ((((((triple2) -> rule1)) -> rule9)) -> rule2) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule9)) -> rule2))] Anne is round.[(triple4)] Charlie is green.[(triple5)] Gary is kind.[(triple6)] Harry is round.[(triple7)] @1: Anne is rough.[(((triple2) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] Charlie is blue.[(((triple5) -> rule6))] @2: Anne is white.[(((((triple2) -> rule1)) -> rule9) OR ((((((triple1) -> rule5)) -> rule1)) -> rule9))] Charlie is big.[(((((triple5) -> rule6)) -> rule7))] Charlie is rough.[(((((triple5) -> rule6)) -> rule1))] @3: Charlie is white.[(((((((triple5) -> rule6)) -> rule1)) -> rule9))] @4: Charlie is kind.[(((((((((triple5) -> rule6)) -> rule1)) -> rule9)) -> rule2))] @5: Charlie is round.[(((triple5 ((((((((triple5) -> rule6)) -> rule1)) -> rule9)) -> rule2)) -> rule3))]