Bob is nice. Bob is quiet. Bob is smart. Charlie is nice. Erin is not cold. Erin is kind. Erin is quiet. Erin is young. Harry is round. Harry is young. Nice people are cold. If someone is nice then they are not kind. Smart, nice people are not young. If Harry is not kind then Harry is smart. All smart people are quiet. If Bob is young then Bob is not cold. If someone is nice and not smart then they are round. All nice, kind people are not round.
Charlie is not nice.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2 OR ((triple3) -> rule5))] Bob is smart.[(triple3)] Charlie is nice.[(triple4)] Erin is kind.[(triple6)] Erin is not cold.[(triple5)] Erin is quiet.[(triple7)] Erin is young.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Bob is cold.[(((triple1) -> rule1))] Bob is not kind.[(((triple1) -> rule2))] Bob is not young.[(((triple3 triple1) -> rule3))] Charlie is cold.[(((triple4) -> rule1))] Charlie is not kind.[(((triple4) -> rule2))]