Anne is green. Anne is kind. Anne is smart. Anne is young. Charlie is green. Charlie is nice. Charlie is smart. Charlie is young. Erin is green. Erin is kind. Erin is smart. Harry is big. Harry is kind. Harry is smart. Harry is young. If Harry is nice then Harry is round. Nice, green people are young. Round people are smart. If Harry is kind and Harry is young then Harry is round. Smart, green people are young. All green, big people are young. All green people are nice. If someone is green and big then they are nice.
Anne is big.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((triple3 triple1) -> rule5) OR ((((triple1) -> rule7) triple1) -> rule2))] Charlie is green.[(triple5)] Charlie is nice.[(triple6 OR ((triple5) -> rule7))] Charlie is smart.[(triple7)] Charlie is young.[(triple8 OR ((triple6 triple5) -> rule2) OR ((triple7 triple5) -> rule5) OR ((((triple5) -> rule7) triple5) -> rule2))] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is smart.[(triple11)] Harry is big.[(triple12)] Harry is kind.[(triple13)] Harry is smart.[(triple14 OR ((((triple13 triple15) -> rule4)) -> rule3))] Harry is young.[(triple15)] @1: Anne is nice.[(((triple1) -> rule7))] Erin is nice.[(((triple9) -> rule7))] Erin is young.[(((triple11 triple9) -> rule5) OR ((((triple9) -> rule7) triple9) -> rule2))] Harry is round.[(((triple13 triple15) -> rule4))]