Bob is a nice person who is red because he has a rash. That man standing next to you with a big round body goes by the name of Dave. Red Fred is what folks call him, because he is quite red. Big Gary is nice but also rough. Cold people who are young and green are actually nice. A big person in size will definitely be rough. A rough, big soul is sure to be nice, too. Anybody with big, rough and nice qualities is bound to also be young. Young cold individuals are usualyy rough. A blue and round human being will also be a green human being.
Bob is not kind.
@0: Bob is nice.[(triple2)] Bob is red.[(triple1)] Dave is big.[(triple4)] Dave is round.[(triple3)] Fred is red.[(triple5)] Gary is big.[(triple8)] Gary is nice.[(triple7 OR ((triple6 triple8) -> rule3) OR ((((triple8) -> rule2) triple8) -> rule3))] Gary is rough.[(triple6 OR ((triple8) -> rule2))] @1: Dave is rough.[(((triple4) -> rule2))] Gary is young.[(((triple8 triple6 triple7) -> rule4) OR ((triple8 triple6 ((triple6 triple8) -> rule3)) -> rule4) OR ((triple8 ((triple8) -> rule2) triple7) -> rule4) OR ((triple8 ((triple8) -> rule2) ((triple6 triple8) -> rule3)) -> rule4) OR ((triple8 triple6 ((((triple8) -> rule2) triple8) -> rule3)) -> rule4) OR ((triple8 ((triple8) -> rule2) ((((triple8) -> rule2) triple8) -> rule3)) -> rule4))] @2: Dave is nice.[(((((triple4) -> rule2) triple4) -> rule3))] @3: Dave is young.[(((triple4 ((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule3)) -> rule4))]