Bob has a round face and is very nice. Gary is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Harry. A cold person who is round but rough around the edges is big. A big person who looks blue is also going to look young. A person who is cold but red, and big in size is young for sure. Young round folks who are at least a bit red are actually nice. Nice young people who are round are also blue. When someone feels cold, while being big and rough, they always turn out to be red. A person that is green also someone who is big.
Gary is big.
@0: Bob is nice.[(triple2)] Bob is round.[(triple1)] Gary is blue.[(triple5)] Gary is nice.[(triple4)] Gary is round.[(triple3)] Harry is blue.[(triple11 OR ((((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5))] Harry is cold.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8 OR ((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6))] Harry is rough.[(triple7)] Harry is round.[(triple6)] @1: Harry is big.[(((triple6 triple10 triple7) -> rule1))] @2: Harry is young.[(((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2) OR ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3))] @3: Harry is nice.[(((triple8 triple6 ((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2)) -> rule4) OR ((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4))]