Anne is quiet. Charlie is big. Charlie is kind. Charlie is red. Charlie is young. Erin is red. Erin is rough. Harry is quiet. Harry is smart. Harry is young. Red, young people are big. Kind, big people are rough. All big, smart people are red. If someone is quiet and smart then they are big. If someone is big then they are kind. All quiet people are young.
Anne is not kind.
@0: Anne is quiet.[(triple1)] Charlie is big.[(triple2 OR ((triple4 triple5) -> rule1))] Charlie is kind.[(triple3 OR ((triple2) -> rule5) OR ((((triple4 triple5) -> rule1)) -> rule5))] Charlie is red.[(triple4)] Charlie is young.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Harry is quiet.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10 OR ((triple8) -> rule6))] @1: Anne is young.[(((triple1) -> rule6))] Charlie is rough.[(((triple3 triple2) -> rule2) OR ((triple3 ((triple4 triple5) -> rule1)) -> rule2) OR ((((triple2) -> rule5) triple2) -> rule2) OR ((((triple2) -> rule5) ((triple4 triple5) -> rule1)) -> rule2) OR ((((((triple4 triple5) -> rule1)) -> rule5) triple2) -> rule2) OR ((((((triple4 triple5) -> rule1)) -> rule5) ((triple4 triple5) -> rule1)) -> rule2))] Harry is big.[(((triple8 triple9) -> rule4))] @2: Harry is kind.[(((((triple8 triple9) -> rule4)) -> rule5))] Harry is red.[(((((triple8 triple9) -> rule4) triple9) -> rule3))] @3: Harry is rough.[(((((((triple8 triple9) -> rule4)) -> rule5) ((triple8 triple9) -> rule4)) -> rule2))]