Bob always goes out of his way to show that he is kind to people. Known as big round Charlie, he is kind and nice and dresses all green and blue. Harry is so big, he is often blue, but always kind. A big person who looks blue is also going to look young. If a red and blue person is also kind to people that means they are rough as well. Red, young people are for the most part round too. Young, kind people have a habit of being nice. Nice people who are big are always cold because they can't find space near the heater. A cold person, who is kind in nature and young in years, is round. A person that is the color red will definitely be round shaped.
Dave is not rough.
@0: Bob is kind.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3 OR ((triple4 ((triple6 triple7) -> rule1)) -> rule4))] Charlie is round.[(triple2 OR ((((triple7 triple3) -> rule5) triple4 ((triple6 triple7) -> rule1)) -> rule6) OR ((((triple7 ((triple4 ((triple6 triple7) -> rule1)) -> rule4)) -> rule5) triple4 ((triple6 triple7) -> rule1)) -> rule6))] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is kind.[(triple8)] @1: Charlie is cold.[(((triple7 triple3) -> rule5) OR ((triple7 ((triple4 ((triple6 triple7) -> rule1)) -> rule4)) -> rule5))] Charlie is young.[(((triple6 triple7) -> rule1))] Harry is young.[(((triple9 triple10) -> rule1))] @2: Harry is nice.[(((triple8 ((triple9 triple10) -> rule1)) -> rule4))] @3: Harry is cold.[(((triple10 ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule5))] @4: Harry is round.[(((((triple10 ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule5) triple8 ((triple9 triple10) -> rule1)) -> rule6))]