Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is white. Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. If something is rough then it is round. If something is rough then it is red. All round, red things are white.
Charlie is white.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4 OR ((triple5) -> rule2))] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple5) -> rule1))] Bob is white.[(triple7 OR ((triple6 triple4) -> rule3) OR ((triple6 ((triple5) -> rule2)) -> rule3) OR ((((triple5) -> rule1) triple4) -> rule3) OR ((((triple5) -> rule1) ((triple5) -> rule2)) -> rule3))] Charlie is blue.[(triple8)] Charlie is green.[(triple9)] Charlie is nice.[(triple10)] Charlie is red.[(triple11 OR ((triple12) -> rule2))] Charlie is rough.[(triple12)] Charlie is round.[(triple13 OR ((triple12) -> rule1))] Charlie is white.[(triple14 OR ((triple13 triple11) -> rule3) OR ((triple13 ((triple12) -> rule2)) -> rule3) OR ((((triple12) -> rule1) triple11) -> rule3) OR ((((triple12) -> rule1) ((triple12) -> rule2)) -> rule3))]