Bob is blue. Bob is kind. Erin is blue. Erin is green. Erin is kind. Erin is quiet. Erin is smart. Erin is young. Harry is quiet. Harry is smart. All smart, blue people are rough. If Bob is blue then Bob is quiet. If someone is smart then they are young. If someone is smart then they are young. If someone is blue and green then they are quiet. If Erin is green then Erin is young. All kind people are rough. If someone is young and kind then they are rough.
Erin is not blue.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Erin is blue.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is quiet.[(triple6 OR ((triple3 triple4) -> rule5))] Erin is smart.[(triple7)] Erin is young.[(triple8 OR ((triple4) -> rule6) OR ((triple7) -> rule3) OR ((triple7) -> rule4))] Harry is quiet.[(triple9)] Harry is smart.[(triple10)] @1: Bob is quiet.[(((triple1) -> rule2))] Bob is rough.[(((triple2) -> rule7))] Erin is rough.[(((triple5) -> rule7) OR ((triple7 triple3) -> rule1) OR ((triple8 triple5) -> rule8) OR ((((triple4) -> rule6) triple5) -> rule8) OR ((((triple7) -> rule3) triple5) -> rule8) OR ((((triple7) -> rule4) triple5) -> rule8))] Harry is young.[(((triple10) -> rule3) OR ((triple10) -> rule4))]