Bob is blue. Bob is cold. Bob is not furry. Bob is nice. Bob is quiet. Bob is round. Bob is not young. Charlie is blue. Charlie is furry. Charlie is nice. Erin is blue. Erin is furry. Erin is not nice. Erin is quiet. Erin is round. If something is young then it is not furry. If something is young then it is furry. If something is cold and round then it is not young. Furry, nice things are round. If Bob is blue then Bob is nice. If Erin is not blue then Erin is not quiet.
Bob is young.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple4 OR ((triple1) -> rule5))] Bob is not furry.[(triple3)] Bob is not young.[(triple7 OR ((triple2 triple6) -> rule3))] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Charlie is blue.[(triple8)] Charlie is furry.[(triple9)] Charlie is nice.[(triple10)] Erin is blue.[(triple11)] Erin is furry.[(triple12)] Erin is not nice.[(triple13)] Erin is quiet.[(triple14)] Erin is round.[(triple15)] @1: Charlie is round.[(((triple9 triple10) -> rule4))]