Bob is big. Bob is green. Bob is quiet. Bob is rough. Bob is white. Harry is big. Harry is cold. Harry is green. Harry is quiet. Harry is rough. Harry is round. Harry is white. If someone is white and rough then they are green. If Bob is white and Bob is green then Bob is cold.
Harry is not quiet.
@0: Bob is big.[(triple1)] Bob is green.[(triple2 OR ((triple5 triple4) -> rule1))] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] Harry is green.[(triple8 OR ((triple12 triple10) -> rule1))] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Bob is cold.[(((triple5 triple2) -> rule2) OR ((triple5 ((triple5 triple4) -> rule1)) -> rule2))]