Bob is considered to be a rather nice person who is also described as being kind, green and big. Fred is a nice person who is red because he has a rash. There's a very big man over there who is green to this situation that seems to be rather cold despite his bright red coat named Harry. A person who's big and kind will also be cold. People with big hands and red, rough skin are terribly kind. Anyone who's got young, round and big traits is bound to have a red trait, too. Kind people who are also rough are young. A person with the qualities of being cold and being red will also be a person that is green. Kind people who are nice find that they must also be rough. Anybody that is rough, cold and nice will be round at the same time.
Harry is not nice.
@0: Bob is big.[(triple4)] Bob is green.[(triple3 OR ((((triple4 triple2) -> rule1) ((((((triple2 triple1) -> rule6) triple2) -> rule4) triple4 ((((triple2 triple1) -> rule6) ((triple4 triple2) -> rule1) triple1) -> rule7)) -> rule3)) -> rule5))] Bob is kind.[(triple2)] Bob is nice.[(triple1)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Harry is big.[(triple10)] Harry is cold.[(triple9)] Harry is green.[(triple8 OR ((triple9 triple7) -> rule5))] Harry is red.[(triple7)] @1: Bob is cold.[(((triple4 triple2) -> rule1))] Bob is rough.[(((triple2 triple1) -> rule6))] @2: Bob is round.[(((((triple2 triple1) -> rule6) ((triple4 triple2) -> rule1) triple1) -> rule7))] Bob is young.[(((((triple2 triple1) -> rule6) triple2) -> rule4))] @3: Bob is red.[(((((((triple2 triple1) -> rule6) triple2) -> rule4) triple4 ((((triple2 triple1) -> rule6) ((triple4 triple2) -> rule1) triple1) -> rule7)) -> rule3))]