Alan is big, rough and red, but that's because he's often blue. Really, his is nice and kind. Dave is cold to his ex-wife. She knows he is round and red. He is kind to everyone else. Fred is green and cold too. If a person is described as being nice, cold and young it usually follow that they are red. A person who is blue, red and nice is usually considered to be a young person. It's pretty typical of red, rough, and cold people to be round. A young aged and big blue person will definitely be cold. A kind person will certainly be young.
Alan is young.
@0: Alan is big.[(triple6)] Alan is blue.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2 OR ((triple3 ((((triple4) -> rule5) triple5 triple6) -> rule4) ((triple4) -> rule5)) -> rule1))] Alan is rough.[(triple1)] Dave is cold.[(triple10)] Dave is kind.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7)] Fred is cold.[(triple12)] Fred is green.[(triple11)] @1: Alan is young.[(((triple4) -> rule5) OR ((triple5 triple2 triple3) -> rule2))] Dave is young.[(((triple9) -> rule5))] @2: Alan is cold.[(((((triple4) -> rule5) triple5 triple6) -> rule4) OR ((((triple5 triple2 triple3) -> rule2) triple5 triple6) -> rule4))] @3: Alan is round.[(((triple2 triple1 ((((triple4) -> rule5) triple5 triple6) -> rule4)) -> rule3) OR ((triple2 triple1 ((((triple5 triple2 triple3) -> rule2) triple5 triple6) -> rule4)) -> rule3) OR ((((triple3 ((((triple4) -> rule5) triple5 triple6) -> rule4) ((triple4) -> rule5)) -> rule1) triple1 ((((triple4) -> rule5) triple5 triple6) -> rule4)) -> rule3) OR ((((triple3 ((((triple4) -> rule5) triple5 triple6) -> rule4) ((triple4) -> rule5)) -> rule1) triple1 ((((triple5 triple2 triple3) -> rule2) triple5 triple6) -> rule4)) -> rule3))]