Bob is blue. Bob is rough. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. If someone is furry then they are kind. Furry, nice people are quiet. If Bob is rough then Bob is furry.
Charlie is nice.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple5 OR ((triple4) -> rule1))] Charlie is nice.[(triple6)] Charlie is quiet.[(triple7 OR ((triple4 triple6) -> rule2))] Charlie is rough.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10 OR ((triple9) -> rule1))] Erin is nice.[(triple11)] Erin is quiet.[(triple12 OR ((triple9 triple11) -> rule2))] @1: Bob is furry.[(((triple2) -> rule3))] @2: Bob is kind.[(((((triple2) -> rule3)) -> rule1))]