Bob is furry. Bob is kind. Charlie is big. Charlie is furry. Charlie is kind. Charlie is round. Charlie is young. If Charlie is kind then Charlie is rough. If something is big and young then it is round. Kind things are big.
Charlie is big.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Charlie is big.[(triple3 OR ((triple5) -> rule3))] Charlie is furry.[(triple4)] Charlie is kind.[(triple5)] Charlie is round.[(triple6 OR ((triple3 triple7) -> rule2) OR ((((triple5) -> rule3) triple7) -> rule2))] Charlie is young.[(triple7)] @1: Bob is big.[(((triple2) -> rule3))] Charlie is rough.[(((triple5) -> rule1))]