Alan is interestingly colored red and blue, and is also very kind. Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Dave is a man who is both round and rough. Red, kind, young people will be rough people, too. I've noticed that kind people are also big. Green people with red round cheeks are young. Big people are also round people. Big, blue people are red. Someone that is red and blue because they are cold are also round.
Alan is not round.
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1 OR ((triple3 ((triple2) -> rule2)) -> rule5))] Bob is blue.[(triple6)] Bob is green.[(triple5)] Bob is kind.[(triple4)] Dave is rough.[(triple8)] Dave is round.[(triple7)] @1: Alan is big.[(((triple2) -> rule2))] Bob is big.[(((triple4) -> rule2))] @2: Alan is round.[(((((triple2) -> rule2)) -> rule4))] Bob is red.[(((triple6 ((triple4) -> rule2)) -> rule5))] Bob is round.[(((((triple4) -> rule2)) -> rule4))] @3: Bob is young.[(((((triple6 ((triple4) -> rule2)) -> rule5) triple5 ((((triple4) -> rule2)) -> rule4)) -> rule3))] @4: Bob is rough.[(((((((triple6 ((triple4) -> rule2)) -> rule5) triple5 ((((triple4) -> rule2)) -> rule4)) -> rule3) triple4 ((triple6 ((triple4) -> rule2)) -> rule5)) -> rule1))]