If you meet Bob, you will know that he is young, red and kind. Charlie is so cold, he's turned blue, which isn't unusual with those rough, round kids. Eric, who is nice and green, is also cold and blue. A kind person, blue with cold, is certainly very young and has forgotten their coat. Some nice people are cold and green which makes them rough. When a man or woman is kind, that man or woman is red as well. Turns out that sad people feeling blue who are both nice and cold to others are all big people. People that are very big and slightly blue will be on the young side. Cold and rough people are usually red. Absolutely, you can be sure that anyone with the combined features of being rough, red, and round, will always be kind.
Eric is not big.
@0: Bob is kind.[(triple3)] Bob is red.[(triple2 OR ((triple3) -> rule3))] Bob is young.[(triple1)] Charlie is blue.[(triple7)] Charlie is cold.[(triple6)] Charlie is rough.[(triple5)] Charlie is round.[(triple4)] Eric is blue.[(triple11)] Eric is cold.[(triple10)] Eric is green.[(triple9)] Eric is nice.[(triple8)] @1: Charlie is red.[(((triple5 triple6) -> rule6))] Eric is big.[(((triple10 triple11 triple8) -> rule4))] Eric is rough.[(((triple10 triple9 triple8) -> rule2))] @2: Charlie is kind.[(((triple5 ((triple5 triple6) -> rule6) triple4) -> rule7))] Eric is red.[(((((triple10 triple9 triple8) -> rule2) triple10) -> rule6))] Eric is young.[(((((triple10 triple11 triple8) -> rule4) triple11) -> rule5))] @3: Charlie is young.[(((((triple5 ((triple5 triple6) -> rule6) triple4) -> rule7) triple6 triple7) -> rule1))]