Anne is furry. Anne is nice. Anne is quiet. Bob is blue. Bob is kind. Bob is nice. Bob is smart. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. All young, blue people are kind. If Anne is smart then Anne is nice. If Anne is furry then Anne is nice.
Bob is kind.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule3))] Anne is quiet.[(triple3)] Bob is blue.[(triple4)] Bob is kind.[(triple5)] Bob is nice.[(triple6)] Bob is smart.[(triple7)] Charlie is furry.[(triple8)] Charlie is kind.[(triple9)] Charlie is nice.[(triple10)] Charlie is quiet.[(triple11)] Charlie is smart.[(triple12)]