Erin is big. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Fiona is big. Gary is rough. Harry is quiet. Harry is smart. All smart people are kind. If Harry is rough and Harry is red then Harry is quiet. If someone is green then they are smart. All kind people are quiet. If someone is rough and big then they are green. Rough people are big.
Gary is not kind.
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3 OR ((triple6) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] Erin is quiet.[(triple4 OR ((triple3) -> rule4) OR ((((triple6) -> rule1)) -> rule4) OR ((((((triple2) -> rule3)) -> rule1)) -> rule4))] Erin is red.[(triple5)] Erin is smart.[(triple6 OR ((triple2) -> rule3))] Fiona is big.[(triple7)] Gary is rough.[(triple8)] Harry is quiet.[(triple9 OR ((((triple10) -> rule1)) -> rule4))] Harry is smart.[(triple10)] @1: Gary is big.[(((triple8) -> rule6))] Harry is kind.[(((triple10) -> rule1))] @2: Gary is green.[(((triple8 ((triple8) -> rule6)) -> rule5))] @3: Gary is smart.[(((((triple8 ((triple8) -> rule6)) -> rule5)) -> rule3))] @4: Gary is kind.[(((((((triple8 ((triple8) -> rule6)) -> rule5)) -> rule3)) -> rule1))] @5: Gary is quiet.[(((((((((triple8 ((triple8) -> rule6)) -> rule5)) -> rule3)) -> rule1)) -> rule4))]