Anne is green. Anne is kind. Charlie is kind. Charlie is round. Charlie is smart. Erin is kind. Erin is round. Harry is nice. Harry is rough. Harry is smart. All smart people are kind. If someone is round and smart then they are rough. If Anne is rough and Anne is big then Anne is kind. Green people are round. Green, big people are nice. All nice, kind people are big.
Erin is green.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Charlie is kind.[(triple3 OR ((triple5) -> rule1))] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Erin is kind.[(triple6)] Erin is round.[(triple7)] Harry is nice.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Anne is round.[(((triple1) -> rule4))] Charlie is rough.[(((triple4 triple5) -> rule2))] Harry is kind.[(((triple10) -> rule1))] @2: Harry is big.[(((triple8 ((triple10) -> rule1)) -> rule6))]