Bob is big. Bob is cold. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is white. White, rough things are big. If Bob is cold then Bob is rough. All green, white things are round.
Bob is rough.
@0: Bob is big.[(triple1 OR ((triple7 triple5) -> rule1) OR ((triple7 ((triple2) -> rule2)) -> rule1))] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple2) -> rule2))] Bob is round.[(triple6 OR ((triple3 triple7) -> rule3))] Bob is white.[(triple7)]