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