Bob is furry. Bob is green. Bob is red. Bob is round. Bob is smart. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. If Bob is red then Bob is blue.
Bob is smart.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is green.[(triple8)] Charlie is nice.[(triple9)] Charlie is red.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12)] @1: Bob is blue.[(((triple3) -> rule1))]