Charlie is kind. Charlie is quiet. Charlie is white. Erin is big. Erin is blue. Erin is quiet. Gary is blue. Harry is big. Harry is blue. Harry is quiet. Harry is round. Harry is young. If Gary is blue and Gary is quiet then Gary is kind. Big things are young. If Erin is young and Erin is round then Erin is quiet. Young, big things are round. If Erin is young then Erin is blue. If something is blue and kind then it is round. White things are quiet. All young things are blue.
Erin is kind.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2 OR ((triple3) -> rule7))] Charlie is white.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5 OR ((((triple4) -> rule2)) -> rule5) OR ((((triple4) -> rule2)) -> rule8))] Erin is quiet.[(triple6 OR ((((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule4)) -> rule3))] Gary is blue.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple12) -> rule8) OR ((((triple8) -> rule2)) -> rule8))] Harry is quiet.[(triple10)] Harry is round.[(triple11 OR ((triple12 triple8) -> rule4) OR ((((triple8) -> rule2) triple8) -> rule4))] Harry is young.[(triple12 OR ((triple8) -> rule2))] @1: Erin is young.[(((triple4) -> rule2))] @2: Erin is round.[(((((triple4) -> rule2) triple4) -> rule4))]