Alan may be round, but he is also kind. Bob is a round and rough around the edges, and he is also big. Dave seems to be round. Fred may be young but he is nice, wears green shoes and is cold. Big people who are red in color are almost always young. A nice young person who is big can be considered round. People turn green when they are feeling blue. Most round and cold people are often rough. Nice and green people are often found to be big as well.
Fred is not rough.
@0: Alan is kind.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple5)] Bob is rough.[(triple4)] Bob is round.[(triple3)] Dave is round.[(triple6)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is nice.[(triple8)] Fred is young.[(triple7)] @1: Fred is big.[(((triple8 triple9) -> rule5))] Fred is blue.[(((triple9) -> rule3))] @2: Fred is round.[(((triple8 ((triple8 triple9) -> rule5) triple7) -> rule2))] @3: Fred is rough.[(((((triple8 ((triple8 triple9) -> rule5) triple7) -> rule2) triple10) -> rule4))]