Alan is very big for being so young. Young, red, nice, cold, blue and big are qualities which all describe Bob. Big Eric is a young, round man. All persons who are big are also kind. Maybe someone is round and rough but wears green shoes. A rough person will also be a cold person. A nice round person is big. Nice green people who are cold are often a but rough. Rough, big people are always round, no matter what. A kind natured and big shaped person that is also cold will be green.
Eric is green.
@0: Alan is big.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple8)] Bob is blue.[(triple7)] Bob is cold.[(triple6)] Bob is nice.[(triple5)] Bob is red.[(triple4)] Bob is young.[(triple3)] Eric is big.[(triple11)] Eric is round.[(triple10)] Eric is young.[(triple9)] @1: Alan is kind.[(((triple2) -> rule1))] Bob is kind.[(((triple8) -> rule1))] Eric is kind.[(((triple11) -> rule1))] @2: Bob is green.[(((((triple8) -> rule1) triple8 triple6) -> rule7))] @3: Bob is rough.[(((triple6 triple5 ((((triple8) -> rule1) triple8 triple6) -> rule7)) -> rule5))] @4: Bob is round.[(((((triple6 triple5 ((((triple8) -> rule1) triple8 triple6) -> rule7)) -> rule5) triple8) -> rule6))]