Bob is a kind and red colored guy. Nice, but round, Charlie has been said to be cold. Dave is too round for someone so young. Also, he is sometimes red and sometimes green. Fred is nice and kind, but a little rough. A green and blue colored person who is young will certainly be big. If someone is cold and young, you'll see that they are kind. A person that is both green and red tends to be cold as well. Being a young, round and kind individual means that you are also a blue individual. A big and blue colored person is also certainly very kind. A human being described as rough, nice and round will also fit the description of being cold. A person who is very round is nice but also quite rough.
Bob is not round.
@0: Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is cold.[(triple5 OR ((((triple3 triple4) -> rule7) triple3 triple4) -> rule6))] Charlie is nice.[(triple4)] Charlie is round.[(triple3)] Dave is green.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7)] Dave is young.[(triple6)] Fred is kind.[(triple12)] Fred is nice.[(triple11)] Fred is rough.[(triple10)] @1: Charlie is rough.[(((triple3 triple4) -> rule7))] Dave is cold.[(((triple9 triple8) -> rule3))] @2: Dave is kind.[(((((triple9 triple8) -> rule3) triple6) -> rule2))] @3: Dave is blue.[(((triple6 triple7 ((((triple9 triple8) -> rule3) triple6) -> rule2)) -> rule4))] @4: Dave is big.[(((triple9 triple6 ((triple6 triple7 ((((triple9 triple8) -> rule3) triple6) -> rule2)) -> rule4)) -> rule1))]