That man standing next to you with a big round body goes by the name of Alan. Bob is red but has turned blue as he is cold but now he is green.  Bob is young and rough. Dave has a round face and is very nice. To the touch Harry has rough, cold skin. Nice blue people are often rough. A red colored and round person who is also young will be rather kind. It's inevitable that young, green people are big. If a person that is blue and green is also cold, that means that they are young. A big, green person who is cold is assumed to be red also. Someone who happens to be cold and green and big all at once must also be round in shape.
Dave is kind.
@0: Alan is big.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple8)] Bob is cold.[(triple7)] Bob is green.[(triple6)] Bob is red.[(triple5 OR ((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) OR ((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5))] Bob is rough.[(triple4)] Bob is young.[(triple3 OR ((triple7 triple8 triple6) -> rule4))] Dave is nice.[(triple10)] Dave is round.[(triple9)] Harry is cold.[(triple12)] Harry is rough.[(triple11)] @1: Bob is big.[(((triple3 triple6) -> rule3) OR ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3))] @2: Bob is round.[(((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) OR ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6))] @3: Bob is kind.[(((triple5 ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((triple5 ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((triple5 ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((triple3 triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((triple3 triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3) triple7) -> rule5) ((triple7 triple6 ((((triple7 triple8 triple6) -> rule4) triple6) -> rule3)) -> rule6) ((triple7 triple8 triple6) -> rule4)) -> rule2))]