Bob is feeling rough, red, nice, green and also blue. Eric who is considered nice was feeling rather rough today. Harry is young, rough and green, but he turns blue when he is cold like anyone else. Big and cold people tend to see red and dont live green lifestyle. Whenever you are around kind and green people, you will notice they are very red. Kind and young people are round. When you meet someone that's rough, kind and nice you'll see they are green as well. Anyone who is round and also cold will surely be big as well. Someone who is kind and young with a round figure will always be red too. People who are rough are often rather kind as well.
Gary is nice.
@0: Bob is blue.[(triple5)] Bob is green.[(triple4 OR ((triple1 ((triple1) -> rule7) triple3) -> rule4))] Bob is nice.[(triple3)] Bob is red.[(triple2 OR ((((triple1) -> rule7) triple4) -> rule2) OR ((((triple1) -> rule7) ((triple1 ((triple1) -> rule7) triple3) -> rule4)) -> rule2))] Bob is rough.[(triple1)] Eric is nice.[(triple7)] Eric is rough.[(triple6)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10 OR ((((((triple8 ((triple9) -> rule7)) -> rule3) triple8 ((triple9) -> rule7)) -> rule6) ((((triple8 ((triple9) -> rule7)) -> rule3) triple11) -> rule5) triple11) -> rule1))] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Bob is kind.[(((triple1) -> rule7))] Eric is kind.[(((triple6) -> rule7))] Harry is kind.[(((triple9) -> rule7))] @2: Eric is green.[(((triple6 ((triple6) -> rule7) triple7) -> rule4))] Harry is red.[(((((triple9) -> rule7) triple10) -> rule2) OR ((((triple8 ((triple9) -> rule7)) -> rule3) triple8 ((triple9) -> rule7)) -> rule6))] Harry is round.[(((triple8 ((triple9) -> rule7)) -> rule3))] @3: Eric is red.[(((((triple6) -> rule7) ((triple6 ((triple6) -> rule7) triple7) -> rule4)) -> rule2))] Harry is big.[(((((triple8 ((triple9) -> rule7)) -> rule3) triple11) -> rule5))]