Young Bob got into a fight that left him with red sores on his face. They always call him rough Charlie. If you met Fred you would find him nice, blue, cold and quite big. Harry was quite young and green. He was also cold and big. People who can be kind when they are cold are fundamentally nice. A green colored, nice and young person will be big shaped. Young and rough green people, have no choice but to be red. Anybody that is big is also someone who is going to be blue. A big and blue colored person is also certainly very kind. If a person that is blue and green is also cold, that means that they are young.
Bob is round.
@0: Bob is red.[(triple2)] Bob is young.[(triple1)] Charlie is rough.[(triple3)] Fred is big.[(triple7)] Fred is blue.[(triple6 OR ((triple7) -> rule4))] Fred is cold.[(triple5)] Fred is nice.[(triple4 OR ((((triple6 triple7) -> rule5) triple5) -> rule1) OR ((((((triple7) -> rule4) triple7) -> rule5) triple5) -> rule1))] Harry is big.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is young.[(triple8 OR ((triple10 ((triple11) -> rule4) triple9) -> rule6))] @1: Fred is kind.[(((triple6 triple7) -> rule5) OR ((((triple7) -> rule4) triple7) -> rule5))] Harry is blue.[(((triple11) -> rule4))] @2: Harry is kind.[(((((triple11) -> rule4) triple11) -> rule5))] @3: Harry is nice.[(((((((triple11) -> rule4) triple11) -> rule5) triple10) -> rule1))]