Bob is quiet. Bob is white. Bob is young. Charlie is big. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Young things are white. If Charlie is white then Charlie is nice. If something is nice then it is white. If something is nice and white then it is young. If Charlie is quiet then Charlie is nice. If something is quiet then it is big.
Bob is nice.
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2 OR ((triple3) -> rule1))] Bob is young.[(triple3)] Charlie is big.[(triple4 OR ((triple6) -> rule6))] Charlie is nice.[(triple5 OR ((triple6) -> rule5) OR ((triple9) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] Charlie is quiet.[(triple6)] Charlie is red.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9 OR ((triple10) -> rule1) OR ((triple5) -> rule3) OR ((((triple6) -> rule5)) -> rule3))] Charlie is young.[(triple10 OR ((triple5 triple9) -> rule4) OR ((triple5 ((triple5) -> rule3)) -> rule4) OR ((((triple6) -> rule5) triple9) -> rule4) OR ((((triple9) -> rule2) triple9) -> rule4) OR ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4) OR ((((triple9) -> rule2) ((triple5) -> rule3)) -> rule4) OR ((triple5 ((((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((triple9) -> rule2) ((((triple6) -> rule5)) -> rule3)) -> rule4))] @1: Bob is big.[(((triple1) -> rule6))]