Bob is big. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is white. Bob is young. Charlie is big. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. If someone is rough and round then they are young. Red, young people are nice. All young people are rough.
Bob is young.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2 OR ((triple3 triple7) -> rule2) OR ((triple3 ((triple4 triple5) -> rule1)) -> rule2))] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple7) -> rule3))] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple4 triple5) -> rule1))] Charlie is big.[(triple8)] Charlie is nice.[(triple9 OR ((triple10 triple14) -> rule2) OR ((triple10 ((triple11 triple12) -> rule1)) -> rule2))] Charlie is red.[(triple10)] Charlie is rough.[(triple11 OR ((triple14) -> rule3))] Charlie is round.[(triple12)] Charlie is white.[(triple13)] Charlie is young.[(triple14 OR ((triple11 triple12) -> rule1))]