Bob is big. Bob is cold. Bob is furry. Bob is nice. Bob is rough. Bob is round. Bob is white. Harry is big. Harry is cold. Harry is furry. Harry is nice. Harry is rough. Harry is round. Harry is white. Nice, white people are cold. If someone is round then they are rough. Furry, white people are round.
Harry is round.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple4 triple7) -> rule1))] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is rough.[(triple5 OR ((triple6) -> rule2) OR ((((triple3 triple7) -> rule3)) -> rule2))] Bob is round.[(triple6 OR ((triple3 triple7) -> rule3))] Bob is white.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9 OR ((triple11 triple14) -> rule1))] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is rough.[(triple12 OR ((triple13) -> rule2) OR ((((triple10 triple14) -> rule3)) -> rule2))] Harry is round.[(triple13 OR ((triple10 triple14) -> rule3))] Harry is white.[(triple14)]